doi          = "10.1007/978-3-642-00431-5\_2",
 doi          = "10.1093/logcom/exp004",
 doi          = "10.1007/978-3-540-85762-4\_6",
 doi          = "10.1007/978-3-642-14295-6\_31",
 doi          = "10.1007/978-3-540-74407-8\_9",
 doi          = "10.1007/978-3-540-85762-4\_30",
 doi          = "10.1007/978-3-642-04761-9\_15",
 doi          = "10.1016/j.scico.2004.08.002",
 doi          = "10.1016/j.tcs.2005.06.016",
 doi          = "10.1007/3-540-46541-3\_24",
 doi          = "10.1016/0304-3975(82)90125-6",
 doi          = "10.1007/3-540-36387-4\_2",
 doi          = "10.1016/j.ic.2010.11.025",
 doi          = "10.1007/978-3-642-04761-9\_5",
 doi          = "10.1016/j.entcs.2008.11.011",
 doi          = "10.1016/S0304-3975(98)00009-7",