A maximal method for set variables in automatic theorem proving (1979)

by W W Bledsoe
Venue:Machine Intelligence