Deciding first-order properties of locally tree-decomposable graphs
Markus Frick
and Martin Grohe
Proc. 26th Int. Coll. Automata, Languages, and Programming (ICALP 1999), Lecture Notes in Computer Science 1644, Jirķ Wiedermann,
Peter van Emde Boas,
and Mogens Nielsen, ed., Springer-Verlag, 1999
http://sunpool.mathematik.uni-freiburg.de/home/grohe/pub/ltree.ps
Cites:
