Fast Decision Procedures Based on Congruence Closure

Greg Nelson, Derek C. Oppen. Fast Decision Procedures Based on Congruence Closure. Journal of the ACM, 27(2):356-364, 1980. [doi]

Bibliographies