Hiroshi Nakagawa Prolog Program Transformations and Tree Manipulation Algorithms. 77-91 1985 2 J. Log. Program. 2 db/journals/jlp/jlp2.html#Nakagawa85