Masaru Ohki, Akikazu Takeuchi, Koichi Furukawa. A Framework for Interactive Problem Solving Based on Interactive Query Revision. In Eiiti Wada, editor, Logic Programming 86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986. Volume 264 of Lecture Notes in Computer Science, pages 137-146, Springer, 1986.
Abstract is missing.