A simple code improvement scheme for Prolog

Efficient dataflow analysis of logic programs

Journal of the ACM (JACM)

Call forwarding: a simple interprocedural optimization technique for dynamically typed languages

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Combining an improvement to PARMA trailing with trailing analysis

Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming

Trailing Analysis for HAL

ICLP '02 Proceedings of the 18th International Conference on Logic Programming

Improving PARMA trailing

Theory and Practice of Logic Programming