doi = "10.1016/j.tcs.2009.05.004", doi = "10.1016/S0022-5193(03)00244-3", doi = "10.1007/BF02760680", doi = "10.1016/S0246-0203(00)00141-2", doi = "10.1080/10586458.2007.10129005", doi = "10.1016/S0019-3577(00)87901-X", doi = "10.1016/j.tcs.2004.06.008", doi = "10.1016/S0304-3975(98)00005-X", doi = "10.1007/978-0-387-30440-3\_65", doi = "10.1016/S0304-3975(02)00071-3", doi = "10.1007/978-3-540-85780-8\_21", doi = "10.1016/j.ic.2012.02.008", doi = "10.1007/BF01691062", doi = "10.1017/S014338579706985X", doi = "10.1016/S0304-3975(99)00031-6",