Automated Deduction in Equational Logic and Cubic Curves (1996)

by W McCune, R Padmanabhan
Venue:of Lecture Notes in Computer Science (AI subseries