Maria J. García de la Banda Manuel V. Hermenegildo Maurice Bruynooghe Veroniek Dumortier Gerda Janssens Wim Simoens Global Analysis of Constraint Logic Programs. 564-614 1996 18 ACM Trans. Program. Lang. Syst. 5 http://doi.acm.org/10.1145/232706.232734 db/journals/toplas/toplas18.html#BandaHBDJS96