Tadashi Kanamori, Hirohisa Seki. Verification of Prolog Programs Using an Extension of Execution. In Ehud Y. Shapiro, editor, Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings. Volume 225 of Lecture Notes in Computer Science, pages 475-489, Springer, 1986.
Abstract is missing.