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