Proving Theorems by Pattern Recognition I
CACM April, 1960
Wang, H.
