Automated Theorem-Proving for Theories with Simpli ers (1974)

by J R Slagle
Venue:Commutativity, and Associativity, J. ACM