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]

Authors

Greg Nelson

This author has not been identified. Look up 'Greg Nelson' in Google

Derek C. Oppen

This author has not been identified. Look up 'Derek C. Oppen' in Google