Reflecting Proofs in First-Order Logic with Equality (0)

by É CONTEJEAN, P CORBINEAU
Venue:in "20th International Conference on Automated Deduction (CADE-20