@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{PV01, author = {N. Piterman and M.Y. Vardi}, title = {From Bidirectionality to Alternation}, booktitle = {26th International Symposium on Mathematical Foundations of Computer Science}, pages = {598-610}, year = {2001}, volume = {2136}, series = lncs, address = {Marianske Lazne, Czech Republic}, month = aug, publisher = springer, pdf = {2001/pv01.pdf}, url = {2001/pv01.html}, keywords = {Automata}, }