1. Bloch, C., “Source-to-Source Transformation of Logic Programs,”Weizmann Institute Technical Report CS84-22, 1984.
2. Clark, K. L. and Gregory, S., “PARLOG: Parallel Programming in Logic,”Research Report DOC 84/4, April, 1984.
3. Codish, M., “Compiling OR-Parallelism to AND-Parallelism,”Masters Thesis, Weizmann Institute of Science.
4. Futamura, Y., “Partial Evaluation of Computation Process—An Approach to a Compiler-Compiler,”Systems, Computers, Controls, Vol.2, No. 5, pp. 721–728, 1971.
5. Gregory, S., “Design, Application and Implementation of a Parallel Logic Programming Language,”Phd. Thesis, Imperial College of Science and Technology, 1985.