Monadic datalog over finite structures of bounded treewidth. (ACM Trans. Comput. Log., 2010)

(untitled) - Gottlob, G; Pichler, R; Wei, F