arXiv (2014) - Comments
arxiv: 1404.6064  issn: 2331-8422 

---

Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma