TY  - BOOK
AU  - Raatz, Stan
TI  - Graph-Based Proof Procedures for Horn Clauses
SN  - 3764335300
PY  - 1990///
CY  - Boston
PB  - Birkhauser
ER  -