doi = {10.1093/logcom/2.3.297}, doi = {10.1007/3-540-44622-2_19}, doi = {10.1093/logcom/exm037}, doi = {10.1016/0304-3975(87)90045-4}, doi = {10.1017/S0960129500001328}, doi = {10.1017/S096012950100336X}, doi = {10.2307/2269016}, doi = {10.1007/s001530000057}, doi = {10.1016/j.tcs.2009.07.041}, doi = {10.1007/978-3-642-04027-6_30}, doi = {10.1145/1328438.1328482}, doi = {10.1016/j.apal.2008.01.001},