Generalized Model-Checking over Locally Tree-Decomposable Classes.

Markus Frick Generalized Model-Checking over Locally Tree-Decomposable Classes. 632-644 2002 conf/stacs/2002 STACS http://link.springer.de/link/service/series/0558/bibs/2285/22850632.htm db/conf/stacs/stacs2002.html#Frick02