Small Proofs from Congruence Closure.

Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha

Browse the full FMCAD paper archive.