Compositional Analysis of Modular Logic Programs (1993)

by M Codish, S K Debray, R Giacobazzi
Venue:In Proc. Twentieth Annual ACM Symp. on Principles of Programming Languages