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

by Evelyne Contejean, Pierre Corbineau
Venue:In Proceedings of EUROSPEECH’97