TY  - BOOK
AU  - McCune, W
AU  - Padmanabhan, R
TI  - Automated deduction in equational logic and cubic curves
SN  - 9783540613985
U1  - 006.3 MCC 
PY  - 1996///
CY  - New York
PB  - Springer
KW  - Artificial Intelligence
ER  -