@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},
}