1. Bry, F. and Torge, S. (1998). A deduction method complete for refutation and finite satisfiability. Lecture Notes in Computer Science, 1489:122–138.
2. Bry, F. and Yahya, A. (1996). Minimal model generation with positive unit hyper-resolution tableaux. In Proceedings of International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, pages 143–159, Terrasini, Palermo, Italy. Springer-Verlag, Berlin/Heidelberg, Germany.
3. Chu-Carroll, J. and Carberry, S. (2000). Conflict resolution in collaborative planning dialogues. International Journal of Human-Computer Studies, 53(6):969–1015.
4. Ferguson, G. and Allen, J. F. (1998). TRIPS: An integrated intelligent problem-solving assistant. In Proceedings of National Conference on Artificial Intelligence (AAAI), pages 567–572, Madison, Wisconsin, USA.
5. Grosz, B. and Sidner, C. (1986). Attention, intentions, and the structure of discourse. Computational Linguistics, 12(3):175–204.