Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday - Hutter, Dieter; Stephan, Werner (Springer Berlin Heidelberg, 2005)