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

Markus Frick, Martin Grohe

Browse the full ICALP paper archive.