Refutation Graphs (1976)

by R E Shostak
Venue:Artificial Intelligence