Markus Frick Martin Grohe Deciding First-Order Properties of Locally Tree-Decomposalbe Graphs. 331-340 http://dx.doi.org/10.1007/3-540-48523-6_30 1999 conf/icalp/99 ICALP db/conf/icalp/icalp99.html#FrickG99