 |
Abstracting Unification: A Key Step in the Design of Logic Program Analyses
M. Bruynooghe, M. Codish, A. Mulkers
Computer Science Today;
1995
Abstract:
Available: bibtex entry
Michael Codish
The Department of Computer Science
Ben-Gurion University of the Negev
PoB 653, Beer-Sheva, 84105, Israel
mcodish@cs.bgu.ac.il