Evelyne Contejean Pierre Corbineau Reflecting Proofs in First-Order Logic with Equality. 7-22 2005 conf/cade/2005 CADE http://dx.doi.org/10.1007/11532231_2 db/conf/cade/cade2005.html#ContejeanC05