M.: Efficient retrieval of mathematical statements (2004)

by A Asperti, Selmi
Venue:In Mathematical Knowledge Management, LNCS 3119