References

1. doi:10.1109/LICS.2004.1319636.
2. doi:10.1016/j.entcs.2011.01.002.
3. doi:10.1007/BF01351796.
4. doi:10.1088/1367-2630/13/6/063001.
5. doi:10.1016/j.aop.2009.09.013.
6. doi:10.1016/j.entcs.2006.12.018.
7. doi:10.1016/j.entcs.2011.01.031.
8. doi:10.1007/s10701-010-9410-x.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org