Ronnie W. Smith D. Richard Hipp Alan W. Biermann An Architecture for Voice Dialog Systems Based on Prolog-Style Theorem Proving. 281-320 1995 21 Computational Linguistics 3 db/journals/coling/coling21.html#SmithHB95