Automating the search for elegant proofs (1998)

by L Wos
Venue:Journal of Automated Reasoning