XML-izing Mizar: Making Semantic Processing and (2002)

by J Urban
Venue:Presentation of MML Easy, MKM2005