On the EA-style integrated processing of self-contained mathematical texts (2000)

by A Degtyarev, A Lyaletski, M Morokhovets
Venue:Proc. of the Intern. Workshop CALCULEMUS'2000, Great Britain