Computing in horn clause theories - Padawitz, Peter. (Springer-Verlag, 1988)
Index.