Proving theorems by pattern recognition (1961)

by H Wang
Venue:II, Bell System Technical Journal