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

Cached

Download Links

by Evelyne Contejean , Pierre Corbineau
Venue:In Proceedings of EUROSPEECH’97
Citations:9 - 3 self