Some Thoughts on Proof Discovery

W. W. Bledsoe. Some Thoughts on Proof Discovery. In SLP. pages 2-10, 1986.

Abstract

Abstract is missing.