Automated reasoning and the discovery of missing and elegant proofs - Wos, Larry (Rinton Press, 2003)