Transforming Horn Clauses for Forward Reasoning

Knut Hinkelmann, Martin Harm, Thomas Labisch. Transforming Horn Clauses for Forward Reasoning. In Harold Boley, Michael M. Richter, editors, Processing Declarative Knowledge, International Workshop PDK 91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings. Volume 567 of Lecture Notes in Computer Science, pages 417-419, Springer, 1991.

Abstract

Abstract is missing.