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

by C Green
Venue:Machine Intelligence 4.NewYork:American