TY  - BOOK
AU  - Padawitz, P
TI  - Computing in horn clause theories
N1  - D6,8(B) M817
ER  -