Completeness of Resolution for Definite Answers (1995)

by T Tammet
Venue:Journal of Logic and Computation