Abstract Interpretation from Improving WAM Code. - Dante Baldan; Gilberto Filé (SAS, 1997)

A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury. - Dante Baldan; Baudouin Le Charlier; Christophe Leclère; Isabelle Pollet (LOPSTR, 1998)

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