Christoph Benzmüller Andreas Meier Volker Sorge Bridging Theorem Proving and Mathematical Knowledge Retrieval. 277-296 2005 conf/birthday/2005siekmann Mechanizing Mathematical Reasoning http://dx.doi.org/10.1007/978-3-540-32254-2_17 db/conf/birthday/siekmann2005.html#BenzmullerMS05