Logic-based retrieval and reuse of software modules - Katoh, Hideki; Yoshida, Hiroyuki; Sugimoto, Masakatsu (Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report, 1985)