doi          = "10.1007/978-3-540-92687-0",
 doi          = "10.1109/LICS.1994.316052 ",
 doi          = "10.1007/3-540-58140-5-7",
 doi          = "10.1007/3-540-60117-1-12",
 doi          = "10.1016/0167-6423(95)00025-9",
 doi          = "10.1016/j.entcs.2006.05.046",
 doi          = "10.1093/jigpal/jzm054",
 doi          = "10.1007/978-3-540-69937-8",
 doi          = "10.1007/978-3-540-92687-0",
 doi          = " 10.1016/j.ic.2008.11.004",
 doi          = "10.1007/978-3-540-92687-0",
 doi          = "10.1007/BF00370681",
 doi          = "10.1016/0304-3975(95)00082-8",