TY  - BOOK
AU  - Bachmair Leo
TI  - Canonical equational proofs
U1  - 511.33 
PY  - 1991///
CY  - Boston
PB  - Birkhauser
KW  - Canonical forms
KW  - Equational proofs
ER  -