@string{tcs="Theoretical Computer Science"} @string{feb="February"} @Article{PV03, author = {N. Piterman and M.Y. Vardi}, title = {From Bidirectionality to Alternation}, journal = tcs, year = {2003}, volume = {295}, number = {1-3}, pages = {295-321}, month = feb, url = {2003/PV03.html}, pdf = {2003/PV03.pdf}, keywords = {Automata}, }