Title: A deductive question answering system
Subjects: Electronic digital computers, Computer programming