Naoyoshi Tamura, Tomomi Kamio, Masato Kurosaki. Extraction of Characteristic Facts and Abstract Generation. In Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki, editors, Logic Programming 88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988. Volume 383 of Lecture Notes in Computer Science, pages 217-237, Springer, 1988.
Abstract is missing.