Logic-based retrieval and reuse of software modules (1986)

by H Katoh, H Yoshida, M Sugimoto
Venue:In 5 th Annual Intl. Phoenix Conf. on Computers and Communications