@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
}