"The Complexity of First-Order and Monadic Second-Order Logic Revisited."

Markus Frick, Martin Grohe (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics