Akito Sakurai, Hiroshi Motoda. Proving Definite Clauses without Explicit Use of Inductions. 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 11-26, Springer, 1988.
Abstract is missing.