title = {Deciding first-order properties of locally tree-decomposable graphs},
author = {Markus Frick and Martin Grohe},
booktitle = {Proc. 26th Int. Coll. Automata, Languages, and Programming (ICALP 1999)},
number = {1644},
editor = {Jir{\'\i} Wiedermann and Peter van Emde Boas and Mogens Nielsen},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
year = {1999},
url = {}}

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