A path to faithful formalizations of mathematics (2004)

by G Jojgov, R Nederpelt
Venue:In MKM 2004, volume 3119 of LNCS