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

by W W Bledsoe