doi          = "10.1016/S1571-0661(04)80878-8",
 doi          = "10.1145/509799.503043",
 doi          = "10.1016/S0304-3975(98)00011-5",
 doi          = "10.1016/S0304-3975(99)00170-X",
 doi          = "10.1016/j.entcs.2005.06.020",
 doi          = "10.1016/j.apal.2012.05.005",
 doi          = "10.1145/96709.96714",
 doi          = "10.1109/LICS.2010.49",
 doi          = "10.1016/j.entcs.2005.11.071",
 doi          = " 10.1016/S0304-3975(01)00380-2",
 doi          = "10.1007/BFb0013061",
 doi          = "10.1007/BFb0022575",
 doi          = "10.2307/2275652",
 doi          = "10.1007/3-540-57887-0\_113",
 doi          = "10.2307/2271658",
 doi          = "10.1006/inco.1995.1057",