@inproceedings{KPV00, author = "O. Kupferman and N. Piterman and M.Y. Vardi", title = "Fair Equivalence Relations", booktitle = "Proc. 20th Conference on the foundations of software technology and theoretical computer science", series = "Lecture Notes in Computer Science", volume = 1974, pages = "151-163", month = "December", year = 2000 }