1. Civera, P., et al., “A 32 bit processor for Compiled Prolog”, VLSI for Artificial Intelligence, Kluwer Academic Publishers, pp.13–26 1989.
2. Civera, P., Piccinini, G., Zamboni,M., “Implementation Studies for a VLSI PROLOG Co-Processor”, IEEE MICRO, February 1989 Vol.9 No. 1.
3. Corbin, J., Bidoit, M., “A Rehabilitation of Robinson’s Unification Algorithm”, Information Processing 83, REA Mason (ed), Elsevier Science Publishers B.V., pp. 909–914, 1983.
4. Martelli, A., Montanari, U., “An Efficient Unification Algorithm”, ACM Transactions on Programming Languages and Systems, Vol. 4, No. 2, pp. 258–282, 1982.
5. Nakamura, K., “Associative concurrent evaluation of Logic Programs”, Journ. Of Logic Programming, Elsevier Science Publishers, pp. 109–118, 1989.