Goal Dependent vs Goal Independent Analysis of Logic Programs

Michael Codish, María García de la Banda, Maurice Bruynooghe and Manuel Hermenegildo   

Proceedings of the Fifth International Conference on Logic Programming and Automated Reasoning; 1994


Available:    bibtex entry

Related sites:   The journal version

Michael Codish
The Department of Computer Science
Ben-Gurion University of the Negev
PoB 653, Beer-Sheva, 84105, Israel

© copyright notice