Proving theorems by pattern recognition (1961)

by Hao Wang
Venue:II, AT&T Bell Labs. Tech. J