Non-resolution theorem proving, Arti cial Intelligence 9 (1977)

by W Bledsoe