Theorem proving by resolution as a basis for question-answering systems (1969)

by C C Green
Venue:In Machine Intelligence