On the Complexity of Theory Curbing
Thomas Eiter and Georg Gottlob
Book Title
Logic for Programming and Automated Reasoning‚ 7th International Conference‚ LPAR 2000‚ Reunion Island‚ France‚ November 11−12‚ 2000‚ Proceedings
Editor
Michel Parigot and Andrei Voronkov
Pages
1−19
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
1955
Year
2000