Determinacy testing for nondeterminate logic programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Unification factoring for efficient execution of logic programs
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Principles and practice of unification factoring
ACM Transactions on Programming Languages and Systems (TOPLAS)
The language features and architecture of b-prolog
Theory and Practice of Logic Programming - Prolog Systems
Hi-index | 0.00 |