Goal Dependent versus Goal Independent Analysis of Logic Programs.

Michael Codish, Maria J. Garca de la Banda, Maurice Bruynooghe, Manuel V. Hermenegildo

Browse the full LPAR paper archive.