Claude Cordell Green

• The application of theorem proving to question-answering systems