G Filé
-
Bounded treewidth as a key to tractability of knowledge representation and reasoning
Artificial Intelligence
Monadic datalog over finite structures of bounded treewidth
ACM Transactions on Computational Logic (TOCL)