Sadek, Bretier, & Panaget. ARTIMIS: Natural dialogue meets rational agency. In Proceedings of IJCAI97.

R.W. Smith, D.R. Hipp, and A.W. Biermann. An Architecture for Voice Dialog Systems Based on Prolog-Style Theorem Proving. Computational Linguistics, vol. 21, no. 3, pages 281-320, September 1995.

To get copies of these papers, please email me.