H. Yoshida, H. Kato, M. Sugimoto. Retrieval of Software Module Functions Using First-Order Predicate Logic Formulae. In Eiiti Wada, editor, Logic Programming 85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985. Volume 221 of Lecture Notes in Computer Science, pages 117-127, Springer, 1985.
Abstract is missing.