Fausto Spoto Giorgio Levi Abstract Interpretation of Prolog Programs. 455-470 1998 conf/amast/1998 AMAST http://dx.doi.org/10.1007/3-540-49253-4_32 db/conf/amast/amast98.html#SpotoL98