Splitting and reduction heursitics in automatic theorem proving (1971)

by W W Bledsoe
Venue:Artif. Intel