Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday - Dieter Hutter, Werner Stephan ((Lecture Notes in Computer Science))