@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@string{springer="© Springer-Verlag"}
@InProceedings{CHP07b,
  author = 	 {K. Chatterjee and T.A. Henzinger and N. Piterman},
  title = 	 {Strategy Logic},
  booktitle = {18th International Conference on Concurrency 
Theory},
  pages = 	 {59--73},
  year = 	 {2007},
  volume = 	 {4703},
  series = 	 lncs,
  publisher = springer,
  url = {2007/CHP07a.html},
  pdf = {2007/CHP07a.pdf},
  keywords = {Games},
}