TY  - BOOK
AU  - McCune, W.
AU  - Padmanabhan, R.
TI  - Automated Deduction In Equational Logic And Cubic Curves / 
U1  - 511.3 
PY  - 1996///
CY  - Berlin
PB  - Springer
KW  - Mathematical logic (Symbolic logic)
KW  - Automatic theorem proving
KW  - Algebraic geometry
ER  -