Deciding first order properties of locally tree-decomposable structures

Markus Frick and Martin Grohe
J. ACM 48(6):1184–1206, Nov 2001
ACM Computing Research Repository, cs.DS/0004007

Cites:

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