doi = {10.1007/s11229-011-9912-x}, doi = {10.1016/B978-0-444-52869-8.50010-4}, doi = {10.1017/CBO9781139519687.007}, doi = {10.1007/978-94-017-7303-4_11}, doi = {10.1007/s10992-013-9280-8}, doi = {10.1007/BF01214888}, doi = {10.1007/BF01647093}, doi = {10.1007/BF01646788}, doi = {10.1007/BF02283036}, doi = {10.1103/PhysRevA.87.052131}, doi = {10.1016/j.entcs.2006.12.018}, doi = {10.4204/EPTCS.236.16},