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. 444-454 1998 conf/stacs/1998 STACS db/conf/stacs/stacs98.html#SchwentickB98 http://dx.doi.org/10.1007/BFb0028580