Faithfully reflecting the structure of informal mathematical proofs into formal type theories (2004)

by G Jojgov, R Nederpelt, M Scheffer
Venue:In MKM Symposium 2003, volume 93 of ENTCS