Computing in horn clause theories - Padawitz, Peter. (EATCS Monographs on Theoretical Computer Science., 1988)