Green, C and Raphael, B "The use of theorem-proving techniques in question-answering systems"

Morrell, A. (1968) Morrell, A. J. H. (Ed.): Information Processing 68, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968  

Languages mentioned QA3 {1967} Question Answering QA4 {1967} Question Answering