The Near-Horn Approach to Disjunctive Logic Programming

David W. Reed, Donald W. Loveland, Bruce T. Smith. The Near-Horn Approach to Disjunctive Logic Programming. In Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister, editors, Extensions of Logic Programming, Second International Workshop, ELP 91, Stockholm, Sweden, January 27-29, 1991, Proceedings. Volume 596 of Lecture Notes in Computer Science, pages 345-369, Springer, 1991.

Abstract

Abstract is missing.