References

1. doi:10.1007/BFb0032042.
2. doi:10.1109/LICS.1990.113766.
3. doi:10.1016/0304-3975(94)90010-8.
4. doi:10.1145/225058.225162.
5. doi:10.1016/0304-3975(94)00202-T.
6. doi:10.1007/3-540-44618-4_12.
7. doi:10.1007/s100090050010.
8. doi:10.1016/j.tcs.2004.04.003.
9. doi:10.1007/978-3-642-22012-8_33.
10. doi:10.1007/s10703-011-0140-2.
11. doi:10.1016/j.ic.2011.11.006.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org