doi          = {10.1145/585265.585270},
 doi          = {10.1007/978-3-540-92687-0_7},
 doi          = {10.1007/BFb0025774},
 doi          = {10.1007/978-3-540-74407-8_5},
 doi          = {10.1007/978-3-642-32940-1_14},
 doi          = {10.1109/LICS.2001.932514},
 doi          = {10.4204/EPTCS.119.18},
 doi          = {10.2168/LMCS-10(4:17)2014},
 doi          = {10.1016/j.ic.2014.12.020},
 doi          = {10.4230/LIPIcs.FSTTCS.2010.133},
 doi          = {10.1109/SFCS.1977.32},
 doi          = {10.1007/3-540-11494-7_22},
 doi          = {10.1016/S1571-0661(05)82604-0},
 doi          = {10.1007/978-3-642-33353-8_31},