Mateja Jamnik Alan Bundy Psychological Validity of Schematic Proofs. 321-341 2005 conf/birthday/2005siekmann Mechanizing Mathematical Reasoning http://springerlink.metapress.com/openurl.asp?genre=article&id=2LU077G6736BDL6T db/conf/birthday/siekmann2005.html#JamnikB05