@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"} @string{dec="December"} @string{springer="© Springer-Verlag"} @inproceedings{KPV00, author = {O. Kupferman and N. Piterman and M.Y. Vardi}, title = {Fair Equivalence Relations}, booktitle = {20th Conference on the Foundations of Software Technology and Theoretical Computer Science}, series = lncs, volume = 1974, pages = {151-163}, month = dec, publisher = springer, year = {2000}, pdf = {2000/fsttcs00.pdf}, url = {2000/fsttcs00.html}, }