References

1. doi:10.1016/S1571-0661(04)80878-8.
2. doi:10.1145/509799.503043.
3. doi:10.1016/S0304-3975(98)00011-5.
4. doi:10.1016/S0304-3975(99)00170-X.
5. doi:10.1016/j.entcs.2005.06.020.
6. doi:10.1016/j.apal.2012.05.005.
7. doi:10.1145/96709.96714.
8. doi:10.1109/LICS.2010.49.
9. doi:10.1016/j.entcs.2005.11.071.
10. doi:10.1016/S0304-3975(01)00380-2.
11. doi:10.1007/BFb0013061.
12. doi:10.1007/BFb0022575.
13. doi:10.2307/2275652.
14. doi:10.1007/3-540-57887-0_113.
15. doi:10.2307/2271658.
16. doi:10.1006/inco.1995.1057.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org