Goal Dependent versus Goal Independent Analysis of Logic Programs.

Michael Codish Maria J. García de la Banda Maurice Bruynooghe Manuel V. Hermenegildo Goal Dependent versus Goal Independent Analysis of Logic Programs. 305-319 1994 conf/lpar/1994 LPAR db/conf/lpar/lpar94.html#CodishBBH94 http://dx.doi.org/10.1007/3-540-58216-9_46