Roberto Bagnara Structural Information Analysis for CLP Languages. 81-92 1997 conf/agp/1997 APPIA-GULP-PRODE db/conf/agp/agp1997.html#Bagnara97