Reflecting proofs in first-order logic with equality (2005)

by E Contejean, P Corbineau
Venue:In CADE’05, volume 3632 of LNCS