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

Thomas Schwentick, Klaus Barthelmann

Browse the full STACS paper archive.