TY  - BOOK
AU  - Raatz S
TI  - Graph based proof procedures for horn clauses
T2  - Progress in Computer Science and Applied Logic; 10
U1  - D65,8(B)92:(RIHC), N0 
PY  - 1990///
CY  - Birkhauser
PB  - Boston         
KW  -  Computer programming
KW  - Computer science
ER  -