1. J. Bevemyr, A Recursion Parallel Prolog Engine, Licentiate of Philosophy Thesis, Uppsala Theses in Computer Science 16/93, Uppsala University, 1993.
2. J. Bevemyr, T. Lindgren & H. Millroth, Exploiting recursion-parallelism in Prolog, Int. Conf. PARLE-93 (eds. A. Bode, M. Reeve & G. Wolf), Springer LNCS 694, Springer-Verlag, 1993.
3. J. Bevemyr, T. Lindgren & H. Millroth, Reform Prolog: The language and its implementation, Proc. 10th Int. Conf. Logic Programming, MIT Press, 1993.
4. J.-H. Chang, High performance execution of Prolog programs based on a static dependency analysis, Ph.D. Thesis, UCB/CSD 86/263, Univ. Calif. Berkeley, 1986.
5. M. Codish, A. Mulkers, M. Bruynooghe, M. Garcia de la Banda & M. Hermenegildo, Improving abstract interpretations by combining domains, Proc. 1993 Symp. Partial Evaluation and Program Manipulation, ACM Press, 1993.