Computing in Horn clause theories - Padawitz, Peter (EATCS monographs on theoretical computer science ;, 1988)