Abstract Congruence Closure and Specializations.

Leo Bachmair, Ashish Tiwari

Browse the full CADE paper archive.