doi          = "10.1007/BFb0032042",
 doi          = "10.1109/LICS.1990.113766",
 doi          = "10.1016/0304-3975(94)90010-8",
 doi          = "10.1145/225058.225162",
 doi          = "10.1016/0304-3975(94)00202-T",
 doi          = "10.1007/3-540-44618-4\_12",
 doi          = "10.1007/s100090050010",
 doi          = "10.1016/j.tcs.2004.04.003",
 doi          = "10.1007/978-3-642-22012-8\_33",
 doi          = "10.1007/s10703-011-0140-2",
 doi          = "10.1016/j.ic.2011.11.006",