Generalized Model-Checking over Locally Tree-Decomposable Classes.

Markus Frick

Browse the full STACS paper archive.