Deciding First-Order Properties of Locally Tree-Decomposable Graphs (1999)

by Markus Frick , Martin Grohe
Venue:In Proc. 26th ICALP
Citations:73 - 12 self