Computing in Horn clause theories - Padawitz, Peter, 1953- (Springer-Verlag, 1988)