@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@string{aug="August"}
@string{springer="© Springer-Verlag"}
@InProceedings{KPV01,
  author = 	 {O. Kupferman and N. Piterman and M.Y. Vardi},
  title = 	 {Extended Temporal Logic Revisited},
  booktitle = 	 {12th International conference on Concurrency theory},
  pages = 	 {519-535},
  year = 	 {2001},
  volume = 	 {2154},
  series = 	 lncs,
  address = 	 {Aalborg, Denmark},
  month = 	 aug,
  publisher = springer,
  pdf =   {2001/kpv01.pdf},
  url        =   {2001/kpv01.html},
  keywords = {Automata,Temporal Logic},
}