Logic-based retrieval and reuse of software modules - Katoh, Hideki; Yoshida, Hiroyuki; Sugimoto, Masakatsu (1985)