Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday - Hutter, Dieter; Stephan, Werner