TY  - BOOK
AU  - Socher-Ambrosius, Rolf
AU  - Johann, Patricia
TI  - Deduction systems
SN  - 9780387948478
SN  - 96032221
U1  - 511.3028551 SOC 
PY  - 1997///
CY  - Berlin
PB  - Springer
KW  - Automatic theorem proving
N1  - Includes bibliographical references (p. [199]-200) and index
ER  -