Completeness of resolution for definite answers
Tammet, Tanel
Journal of logic and computation
1995
/
4, p. 449-471