A Search Engine for Mathematical Formulae. - Michael Kohlhase; Ioan Sucan (AISC, 2006)