TY  - BOOK
AU  - Raatz, Stan.
TI  - Graph-based proof procedures for horn clauses
T2  - Progress in Computer Science and Applied Logic
SN  - 0817635300
U1  - 006.3 
PY  - 1990///
CY  - Boston
PB  - Birkhauser
ER  -