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]