Markus Frick Martin Grohe The Complexity of First-Order and Monadic Second-Order Logic Revisited. 215-224 2002 conf/lics/2002 LICS http://doi.ieeecomputersociety.org/10.1109/LICS.2002.1029830 db/conf/lics/lics2002.html#FrickG02