Patrick Cousot Radhia Cousot Abstract Interpretation and Application to Logic Programs. 103-179 1992 13 J. Log. Program. 2&3 db/journals/jlp/jlp13.html#CousotC92