An Architecture for Voice Dialog Systems Based on Prolog-Style Theorem Proving Ronnie W Smith author D Richard Hipp author Alan W Biermann author 1995 text journal article Computational Linguistics continuing MIT Press Cambridge, MA periodical academic journal smith-etal-1995-architecture https://aclanthology.org/J95-3001/ 1995 21 3 281 320