Completeness of resolution for definite answersTammet, TanelJournal of logic and computation1995 / 4, p. 449-471