examples for resolution (1987)

by A Urquhart, Hard
Venue:Journal of the Association for Computing Machinery