@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@string{oct="October"}
@string{springer="© Springer-Verlag"}
@InProceedings{KPV02a,
  author = 	 {O. Kupferman and N. Piterman and M.Y. Vardi},
  title = 	 {Pushdown Specifications},
  booktitle = 	 {9th International Conference on Logic for Programming Artificial Intelligence and Reasoning},
  pages = 	 {262-277},
  year = 	 {2002},
  volume = 	 {2514},
  series = 	 lncs,
  address = 	 {Tbilisi, Georgia},
  month = 	 oct,
  publisher = springer,
  url = {2002/KPV02a.html},
  pdf = {2002/KPV02a.pdf},
  keywords = {Automata},
}