Non-resolution theorem proving (1977)

by W W Bledsoe
Venue:Artificial Intelligence