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