"The complexity of first-order and monadic second-order logic revisited."

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