W. W. Bledsoe Some Thoughts on Proof Discovery. 2-10 1986 SLP db/conf/slp/slp86.html#Bledsoe86