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.4230/LIPIcs.FSTTCS.2010.120",
 doi          = "10.1007/978-3-642-32940-1\_14",
 doi          = "10.1007/3-540-45656-2\_15",
 doi          = "10.1007/978-3-642-36742-7\_11",
 doi          = "10.1007/978-3-642-32940-1\_15",
 doi          = "10.4230/LIPIcs.FSTTCS.2010.133",
 doi          = "10.1109/SFCS.1977.32",
 doi          = "10.1007/3-540-11494-7\_22",
 doi          = "10.1007/978-3-642-33353-8\_31",
 doi          = "10.1007/978-3-642-23217-6\_31",
 doi          = "10.1093/logcom/exl009",