Proving theorems by pattern recognition (1961)

by H Wang
Venue:II. Bell Systems Technical Journal