1. [Apt82] APT K. R. and VAN EMDEM M. H., Contribution to the Theory of Logic Programming, J. ACM, Vol. 29, 1982, pp. 841-862.6667810483.68004
2. [Bellia88] BELLIA M., DAMERL E., DEGANO P., LEVI G. and MARTELLI M., A Formal Model for Lazy Implementation of a PROLOG Compatible Functional Language. In Implementations of PROLOG, J. A.CAMPBELL Ed., Ellis Horwood, 1984, pp. 309-326.
3. [Bellia88] BELLIA M., Logic and Functional Programming by Retractions, RAIRO Inf. Théorique et Applications, Vol. 22, 1988, pp.923099635930666.68011
4. [Berklin75] BERKLING K., Reduction Languages for Reduction Machines, Proc. 2nd Int. Symp. on Computer Architectures, IEEE Comp. Society Press, 1975, pp. 133-140.
5. [Berkling82] BERKLING K., ROBINSON J. A. and SIBERT E. E., A Proposal for a Fifth Generation Logic and Functional Programming System, based on Highly Parallel Reduction Machine Architecture, Syracuse University, November 1982.