Etsuo Itoh, Hiroshi Nakagawa. Heuristic Applied in Tree Manipulation Algorithm Synthesis. In Eiiti Wada, editor, Logic Programming 85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985. Volume 221 of Lecture Notes in Computer Science, pages 44-55, Springer, 1985.
Abstract is missing.