Shinichi Morishita, Masayuki Numao. Prolog Computation Model BPM and its Debugger PROEDIT2. 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 147-158, Springer, 1986.
Abstract is missing.