Monadic datalog over finite structures of bounded treewidth. - Gottlob, G; Pichler, R; Wei, F (ACM Trans. Comput. Log., 2010)