@article{DMTCS_1999_3_3_a1,
     author = {Schwentick, Thomas and Barthelmann, Klaus},
     title = {Local {Normal} {Forms} for {First-Order} {Logic} with {Applications} to {Games} and {Automata}},
     journal = {Discrete mathematics & theoretical computer science},
     year = {1998-1999},
     volume = {3},
     number = {3},
     doi = {10.46298/dmtcs.254},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.254/}
}