Georg Gottlob Reinhard Pichler Fang Wei Monadic Datalog over Finite Structures with Bounded Treewidth http://arxiv.org/abs/0809.3140 2008 CoRR abs/0809.3140 db/journals/corr/corr0809.html#abs-0809-3140 informal publication