 |
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
Abstract:
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
mcodish@cs.bgu.ac.il