Proof-Producing Congruence Closure (2005)

by R Nieuwenhuis, A Oliveras
Venue:In Proc. of RTA 2005, volume 3467 of LNCS