Automated Deduction in Equational Logic and Cubic Curves