2003
Faithfully Reflecting the Structure of Informal Mathematical Proofs into Formal Type Theories.
[DOI]
Gueorgui I. Jojgov
,
Rob Nederpelt
,
M. Scheffer
Proceedings of the Mathematical Knowledge Management Symposium, 2003