Skip to main content

On the Efficiency of Subsumption Algorithms

Georg Gottlob and Alexander Leitsch

Journal
J. ACM
Number
2
Pages
280−295
Volume
32
Year
1985