A maximal method for set variables in automatic theoremproving (1979)

by W W Bledsoe
Venue:in: Machine Intelligence 9