@article{dmtcs:254, title = {Local Normal Forms for First-Order Logic with Applications to Games and Automata}, author = {Thomas Schwentick and Klaus Barthelmann}, url = {https://dmtcs.episciences.org/254}, doi = {10.46298/dmtcs.254}, journal = {Discrete Mathematics \& Theoretical Computer Science}, issn = {1365-8050}, volume = {Vol. 3 no. 3}, eid = 3, year = {1999}, month = {Jan}, keywords = {First-order logic, existential monadic second-order logic, games, automata, locality, [INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]}, language = {English}, }