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