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