Automated theorem-proving for theories with simplifiers, commutativity, and associativity (1974)

by J R Slagle
Venue:Journal of the ACM