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 is missing.