Proof-producing congruence closure (2005)

by R Nieuwenhuis, A Oliveras
Venue:In RTA’05, volume 3467 of LNCS