doi          = "10.1007/3-540-49213-5\_2",
 doi          = "10.1145/585265.585270",
 doi          = "10.1007/BFb0055622",
 doi          = "10.1109/SECPRI.2002.1004367",
 doi          = "10.1145/1558109.1558144",
 doi          = "10.1007/978-3-540-74407-8\_5",
 doi          = "10.1007/978-3-540-75254-7\_2",
 doi          = "10.1016/j.artint.2012.12.001",
 doi          = "10.1007/978-3-642-40948-6\_13",
 doi          = "10.4204/EPTCS.119.19",
 doi          = "10.1007/978-3-642-31915-0\_6",
 doi          = "10.3233/978-1-61499-098-7-468",
 doi          = "10.4230/LIPIcs.FSTTCS.2010.133",
 doi          = "10.1093/logcom/12.1.149",
 doi          = "10.1007/3-540-45448-9\_8",
 doi          = "10.1613/jair.2901",