Local normal forms for first-order logic with applications to games and automata. Schwentick, Thomas; Barthelmann, Klaus — 1999 Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]