\BOOKMARK [0][-]{chapter.1}{A content based mathematical search engine: Whelp}{}
\BOOKMARK [0][-]{chapter.1}{Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, \040Enrico Tassi, and Stefano Zacchiroli}{}