Dieter Hutter Werner Stephan A Portrait of a Scientist: Logic, AI and Politics. 1-13 2005 Mechanizing Mathematical Reasoning http://springerlink.metapress.com/openurl.asp?genre=article&id=KCJUU5XA8YQVQDCD db/conf/birthday/siekmann2005.html#HutterS05