Compositional analysis of modular logic programs (1993)

by M Codish, S K Debray, R Giacobazzi
Venue:In Proc. POPL’93