arXiv (2009) - Comments
arxiv: 0910.2891  issn: 2331-8422  doi: 10.4230/lipics.fsttcs.2008.1765 

---

Marcin Jurdzinski, Ashutosh Trivedi