A Maximal Method for Set Variables in Automatic Theorem (1977)

by W Bledsoe
Venue:Proving, Univ. of Texas at Austin, Math Dept. Memo ATP-33