"Deciding First-Order Properties of Locally Tree-Decomposalbe Graphs."

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