References

1. doi:10.1109/LICS.2004.1319636.
2. doi:10.1016/0304-3975(87)90104-6.
3. doi:10.1016/0890-5401(92)90006-2.
4. doi:10.4204/EPTCS.26.3.
5. doi:10.1017/S0960129512000096.
6. doi:10.1017/S0960129506005251.
7. doi:10.1016/j.entcs.2011.01.036.
8. doi:10.1016/S0049-237X(08)70271-4.
9. doi:10.1017/S096012951000006X.
10. doi:10.1109/LICS.2011.26.
11. doi:10.1017/S0305004100074338.
12. doi:10.1051/ita:2002009.
13. doi:10.1016/0022-4049(80)90101-2.
14. doi:10.1016/j.jpaa.2012.03.026.
15. doi:10.1016/j.entcs.2006.12.018.
16. doi:10.1017/S0960129504004256.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org