A content based mathematical search engine: Whelp (2004)

by A Asperti, F Guidi, C Sacerdoti Coen, E Tassi, S Zacchiroli
Venue:In Post-proceedings of the Types 2004 International Conference, volume 3839 of Lecture Notes in Computer Science