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