G. Gottlob and A. Leitsch. On the e#ciency of subsumption algorithms. Journal of the Association for Computing Machinery, 32(2):280--295, 1985. Home/Search Document Not in Database Summary ACM TOC Related Articles Check |
This paper is cited in the following contexts:
Subsumption and Resolution: A New - Algorithm Ferilli Di (Correct)
No context found.
G. Gottlob and A. Leitsch. On the e#ciency of subsumption algorithms. Journal of the Association for Computing Machinery, 32(2):280--295, 1985.
On the Semantics of Logic Program Composition - Antonio Brogi Department (Correct)
No context found.
G. Gottlob and A. Leitsch. On the e#ciency of subsumption algorithms. Journal of the ACM, 32(2):280--295, 1985.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC