2009 24th Annual IEEE Symposium on Logic In Computer Science (2009) - Comments
doi: 10.1109/lics.2009.38 

---

Andrei A. Bulatov, Dániel Marx