@string{springer="© Springer-Verlag"}
@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@InCollection{KPV03,
  author = 	 {O. Kupferman and N. Piterman and M.Y. Vardi},
  title = 	 {Fair Equivalence Relations},
  booktitle = 	 {Verification - Theory and Practice, Festschrift celebrating Zohar Manna's 64th Birthday},
  pages = 	 {702-732},
  publisher = springer,
  year = 	 {2003},
  volume = 	 {2772},
  series = 	 lncs,
  pdf = 	 {2003/KPV03.pdf},
  url = 	 {2003/KPV03.html},
}