Suzanne W. Dietrich, Frank W. Calliss. The application of deductive databases to inter-module code analysis. In Proceedings of the Conference on Software Maintenance, ICSM 1991, Sorrento, Italy, 15-17 October 1991. pages 120-128, IEEE, 1991. [doi]
Abstract is missing.