A Kernel of Data Structures and Algorithms for Automated Deduction with Equality Clauses (System description (1997)

by R Nieuwenhuis, J M Rivero, M Vallejo
Venue:14th International Conference on Automated Deduction (CADE