Fast decision procedures based upon congruence closure (0)

by G Nelson, D C Oppen
Venue:J. Assoc. Comp. Mach