On the Complexity of Theory Curbing.

Thomas Eiter, Georg Gottlob

Browse the full LPAR paper archive.