doi          = "10.1007/3-540-49213-5\_2",
 doi          = "10.1145/585265.585270",
 doi          = "10.1007/3-540-48340-3\_13",
 doi          = "10.1080/095281399146625",
 doi          = "10.1093/logcom/8.3.345",
 doi          = "10.1145/371282.371311",
 doi          = "10.3166/jancl.21.93-131",
 doi          = "10.1145/1558109.1558147",
 doi          = "10.1145/1614431.1614434",
 doi          = "10.1016/j.tcs.2005.07.043",
 doi          = "10.1145/12130.12161",
 doi          = "10.1145/1160633.1160660",
 doi          = "10.1093/logcom/12.1.149",
 doi          = "10.1023/A:1026185103185",
 doi          = "10.1023/A:1026181001368",