Automated deduction in equational logic and cubic curves - McCune, William 1953-2011; Padmanabhan, Ranganathan 1938- (Springer, 1996)