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


Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine
Made on a Mac Valid XHTML 1.0!