@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"} @string{springer="© Springer-Verlag"} @InProceedings{HP06, author = {T.A. Henzinger and N. Piterman}, title = {Solving Games without Determinization}, booktitle = {15th Conference on Computer Science Logic}, pages = {394-409}, year = 2006, volume = {4207}, series = lncs, publisher = springer, pdf = {2006/HP06.pdf}, url = {2006/HP06.html}, keywords = {Games,Automata}, }