1. T. Lindgren, J. Bevemyr & H. Millroth, Compiler Optimizations in Reform Prolog: Experiments on the KSR-1 Multiprocessor, in Proc. EURO-PAR'95, Springer Verlag, 1995.
2. M. Codish, A. Mulkers, M. Bruynooghe, M. García de la Banda & M. Hermenegildo, Improving abstract interpretations by combining domains, Proc. Symp. Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, Connecticut, 1991.
3. S.K. Debray, Static inference of modes and data dependencies in logic programs, ACM Trans. Programming Languages and Systems, Vol. 11, No. 3, pp. 418–450, July 1989.
4. S.K. Debray, Efficient dataflow analysis of logic programs, J. ACM, Vol. 39, No. 4, October 1992.
5. T.W. Getzinger, Abstract interpretation for the compile-time optimization of logic programs, Ph.D. Thesis, University of South California, Report 93/09, 1993.