|
Analysing Logic Programs using Prop-ositional Logic Programs and a Magic WandMichael Codish and Bart Demoen
Proceedings of the
1993 International Logic Programming Symposium;
1993
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
|