Proof-producing congruence closure (2005)

by R Nieuwenhuis, A Oliveras
Venue:In Proceedings of the 16th International Conference on Term Rewriting and Applications (RTA