TY - RPRT TI - Monadic Datalog over Finite Structures with Bounded Treewidth AU - Georg Gottlob AU - Reinhard Pichler AU - Fang Wei PY - 2008 UR - https://arxiv.org/abs/0809.3140 ID - 0809.3140 ER -