Michael Codish Saumya K. Debray Roberto Giacobazzi Compositional Analysis of Modular Logic Programs. 451-464 1993 conf/popl/1993 POPL db/conf/popl/popl93.html#CodishDG93 http://doi.acm.org/10.1145/158511.158703