References

1. doi:10.1145/585265.585270.
2. doi:10.1007/978-3-540-92687-0_7.
3. doi:10.1007/BFb0025774.
4. doi:10.1007/978-3-540-74407-8_5.
5. doi:10.1007/978-3-642-32940-1_14.
6. doi:10.1109/LICS.2001.932514.
7. doi:10.4204/EPTCS.119.18.
8. doi:10.2168/LMCS-10(4:17)2014.
9. doi:10.1016/j.ic.2014.12.020.
10. doi:10.4230/LIPIcs.FSTTCS.2010.133.
11. doi:10.1109/SFCS.1977.32.
12. doi:10.1007/3-540-11494-7_22.
13. doi:10.1016/S1571-0661(05)82604-0.
14. doi:10.1007/978-3-642-33353-8_31.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org