Automated Deduction in Equational Logic and Cubic (1996)

by W McCune, R Padmanabhan
Venue:Curves, Lecture Notes in Computer Science