Automated deduction in equational logic and cubic curves - Maccune, William (Lecture notes in artificial intelligence, 1996)