Deriving a compilation method for parallel logic languages - Kohda, Youji; Tanaka, Jiro (Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report, 1988)