A Simple and General Method for Integrating Abstract Interpretation in SICStus. - Dante Baldan; Nicola Civran; Gilberto Filé; Francesco Pulvirenti (PPDP, 1999)