selected publications
-
academic article
- Modelling prolog control. Conference Record of the Annual ACM Symposium on Principles of Programming Languages. 3:579-603. 1992
-
conference paper
- Modelling Prolog control. Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92. 1992