|
Type Dependencies for Logic Programs using ACI-unificationMichael Codish and Vitaly Lagoon
Proceedings of the 1996 Israeli Symposium
on Theory of Computing and Systems;
1996
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
|