doi          = {10.1007/978-3-642-03741-2\_2},
 doi          = {10.1017/S095679680900728X},
 doi          = {10.4230/LIPIcs.ICALP.2016.107},
 doi          = {10.1007/BFb0074299},
 doi          = {10.1016/j.aim.2010.06.025},
 doi          = {10.1145/2976002.2976012},
 doi          = {10.1007/978-3-642-54833-8\_19},
 doi          = {10.1007/978-3-662-49630-5\_30},
 doi          = {10.1145/2951913.2951939},
 doi          = {10.1007/978-3-642-54833-8\_18},
 doi          = {10.1007/978-3-319-30936-1\_7},
 doi          = {10.4204/eptcs.153.7},
 doi          = {10.4204/EPTCS.69.6},
 doi          = {10.1145/2535838.2535846},
 doi          = {10.1007/s10990-006-0480-6},
 doi          = {10.1145/3341708},
 doi          = {10.4230/LIPIcs.CALCO.2015.253},
 doi          = {10.1109/LICS.1989.39155},
 doi          = {10.1016/0890-5401(91)90052-4},
 doi          = {10.1007/978-3-319-27810-0\_1},
 doi          = {10.1017/S0956796808006953},
 doi          = {10.1145/2914770.2837634},
 doi          = {10.13052/rp-9788793519817},
 doi          = {10.1145/3341714},
 doi          = {10.1007/978-3-642-39212-2\_35},
 doi          = {10.1145/1411286.1411290},
 doi          = {10.1007/s10958-008-9013-7},
 doi          = {10.1145/2034675.2034688},
 doi          = {10.1145/2499370.2491978},
 doi          = {10.1145/2429069.2429074},
 doi          = {10.1007/BF01019944},
 doi          = {10.1145/601775.601776},