Relating Resolution and Algebraic Completion for Horn Logic

Roland Dietrich. Relating Resolution and Algebraic Completion for Horn Logic. In Jörg H. Siekmann, editor, 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings. Volume 230 of Lecture Notes in Computer Science, pages 62-78, Springer, 1986.

Abstract

Abstract is missing.