Francisco Bueno Daniel Cabeza Gras Manuel V. Hermenegildo Germán Puebla Global Analysis of Standard Prolog Programs. 108-124 1996 conf/esop/1996 ESOP db/conf/esop/esop96.html#BuenoGHP96 http://dx.doi.org/10.1007/3-540-61055-3_32