TY  - BOOK
AU  - Goubault-Larrecq, Jean
AU  - Mackie, I
TI  - Proof theory and automated deduction
SN  - 1402003684
SN  - 97018876
U1  - 511.3 GOU 
PY  - 1997///
CY  - Dordrecht ; Boston
PB  - Kluwer Academic
KW  - Automatic theorem proving
KW  - Proof theory
N1  - Includes bibliographical references (p. 407-413) and index
ER  -