@inproceedings{KLV06, author = "O. Kupferman and Y. Lustig and M.Y. Vardi", title = "On Locally Checkable Properties", booktitle = "Proc. 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning", series = "Lecture Notes in Computer Science", publisher = "Springer-Verlag", year = "2006" }