Schwarcz, R., J.F. Burger & R.F. Simmons (1970). A deductive question-answerer for natural language inference. CACM, 3.

Languages mentioned

• Protosynthex {1960} Querying system for English test
• Protosynthex III {1970} Evolution of Protosynthex
• SIR {1963}
• STUDENT {1964}