Computing in horn clause theories - Padawitz, Peter (Berlin: Springer-Verlag, 1988)
Index.
Bibliography.
Keywords: Horn Clauses; Logic Programming