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