%0 Journal Article
%A Schwentick, Thomas
%A Barthelmann, Klaus
%T Local Normal Forms for First-Order Logic with Applications to Games and Automata
%J Discrete mathematics & theoretical computer science
%D 1998-1999
%V 3
%N 3
%U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.254/
%R 10.46298/dmtcs.254
%G en
%F DMTCS_1999_3_3_a1