@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@string{jul="July"}
@string{springer="© Springer-Verlag"}
@InProceedings{KPP03,
  author = 	 {Y. Kesten and N. Piterman and A. Pnueli},
  title = 	 {Bridging the Gap Between Fair Simulation and Trace Inclusion},
  booktitle = 	 {15th International Conference on Computer Aided Verification},
  pages = 	 {381-393},
  year = 	 {2003},
  volume = 	 {2725},
  series = 	 lncs,
  address = 	 {Boulder, CO, USA},
  month = 	 jul,
  publisher = springer,
  url =          {2003/KPP03.html},
  pdf = {2003/KPP03.pdf},
  keywords = {Automata},
}