1. G. Bell, Ultracomputers: a Teraflop before its time, Comm. ACM, Vol. 35, No. 8, 1992.
2. J. Bevemyr, A Recursion-Parallel Prolog Engine, PhL Thesis, Computing Science Department, Uppsala University, 1993.
3. J. Bevemyr, T. Lindgren & H. Millroth, Reform Prolog: The Language and its Implementation, to appear in: Proc. 10th Int. Conf. Logic Programming, MIT Press, 1993.
4. T. Lindgren, The Compilation and Execution of Recursion-Parallel Prolog on Shared Memory Multiprocessors, PhL Thesis, Computing Science Department, Uppsala University, May, 1993 (expected).
5. S.K. Debray & D.S. Warren, Automatic Mode Inference for Logic programs, J. Logic Programming, Vol. 5, No. 3, 1988.