Dieter Hutter Werner Stephan Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday 3-540-25051-4 2005 2605 Mechanizing Mathematical Reasoning Lecture Notes in Computer Science Springer db/conf/birthday/siekmann2005.html