Markus Frick. Generalized Model-Checking over Locally Tree-Decomposable Classes. In Helmut Alt, Afonso Ferreira, editors, STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings. Volume 2285 of Lecture Notes in Computer Science, pages 632-644, Springer, 2002. [doi]
Abstract is missing.