Local Normal Forms for First-Order Logic with Applications to Games and Automata.

Thomas Schwentick Klaus Barthelmann Local Normal Forms for First-Order Logic with Applications to Games and Automata. 109-124 1999 3 Discrete Mathematics & Theoretical Computer Science 3 http://dmtcs.loria.fr/volumes/abstracts/dm030303.abs.html db/journals/dmtcs/dmtcs3.html#SchwentickB99