Proof-Producing Congruence Closure | Publicación