@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"} @string{springer="© Springer-Verlag"} @InProceedings{HKP13, author = {M. Huth and J.H. Kuo and N. Piterman}, title = {Fatal Attractors in Parity Games}, booktitle = {16th International Conference on Foundations of Software Science and Computation Structures}, pages = {34-49}, year = {2013}, volume = {7794}, series = lncs, address = {Rome, Italy}, publisher = springer, pdf = {2013/HKP13.pdf}, keywords = {Games}, }