McCune, W. and Padmanabhan, R. "Automated Deduction in Equational Logic and Cubic Curves" Springer-Verlag LNCS #1095 1996

Languages mentioned

• Otter {1988}