Modelling Prolog Control

Roberto Barbuti, Michael Codish, Roberto Giacobazzi and Giorgio Levi   

Proceedings of the Nineteenth ACM symposium on Principles of Programming Languages; 1992


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