doi          = "10.4230/LIPIcs.STACS.2013.104",
 doi          = "10.1090/S0273-0979-1989-15750-9",
 doi          = "10.1016/j.jsc.2008.02.009",
 doi          = "10.1145/62212.62257",
 doi          = "10.1093/comjnl/36.5.400",
 doi          = "10.1007/BFb0023823",
 doi          = "10.1016/S0747-7171(88)80006-3",
 doi          = "10.1063/1.531738",
 doi          = "10.1109/LICS.2011.8",
 doi          = "10.1006/jcom.1999.0502",
 doi          = "10.1145/345542.345633",
 doi          = "10.1016/S0747-7171(10)80003-3",
 doi          = "10.1016/S0747-7171(10)80004-5",
 doi          = "10.1016/S0747-7171(10)80005-7",
 doi          = "10.1090/conm/223/03144",
 doi          = "10.1007/978-3-642-11805-0\_32",
 doi          = "10.1007/BF03025291",
 doi          = "10.1109/PHYCMP.1992.615511",