Erik Sandewall Formal Methods in the Design of Question-Answering Systems. 129-145 1971 2 Artif. Intell. 2 db/journals/ai/ai2.html#Sandewall71