doi          = {10.1007/11889229\unhbox\voidb@x \kern0.06em\vbox{\hrule width0.5em}6},
 doi          = {10.1007/978-1-84882-258-0},
 doi          = {10.1007/978-1-84882-912-1\unhbox\voidb@x \kern0.06em\vbox{\hrule width0.5em}16},
 doi          = {10.1007/11423348\unhbox\voidb@x \kern0.06em\vbox{\hrule width0.5em}10},
 doi          = {10.3233/978-1-58603-907-3-17},
 doi          = {10.3233/978-1-60750-065-0-239},
 doi          = {10.1109/LICS.1996.561301},
 doi          = {10.1109/LICS.1996.561302},
 doi          = {10.1016/S0304-3975(00)00331-5},
 doi          = {10.1016/j.entcs.2008.04.050},
 doi          = {10.1007/BFb0014427},
 doi          = {10.1007/978-3-642-54848-2\unhbox\voidb@x \kern0.06em\vbox{\hrule width0.5em}3},
 doi          = {10.1007/PL00003937},
 doi          = {10.1007/978-0-387-35562-7\unhbox\voidb@x \kern0.06em\vbox{\hrule width0.5em}20},
 doi          = {10.1109/HICSS.1999.773061},