Title: The application of theorem proving to question-answering systems
Subjects: Automatic theorem proving, Question-answering systems