1. Abe (S.), Bandoh (T.), Yamaguchi (S.), Kurosawa (K.), Kiriyama (K.). High performance integrated Prolog processorIpp. Proceedings of the14th Annual International Symposium on Computer Architecture, Pittsburgh, Pennsylvania (1987), pp. 100–107.
2. Borriello (G.), Cherenson (A. R.), Danzig (P. B.), Nelson (M.).Riscs vs. ciscs for Prolog: a case study. Proceedings of the Second InternationalConference on Architectural Support for Programming Languages and Operating Systems, Palo Alto, California (1987), pp. 136–145.
3. Bruynooghe (M.), Janssens (G.). An instance of abstract interpretation integrating type and mode inter-ferencing, in logic programming. Proceedings of the Fifth International Conference and Symposium.MIT Press, Seattle (1988), Vol. 1, pp. 669–683.
4. Clark (K.), Gregory (S.). Parlog: parallel programming in logic, acm.Transactions on Programming Languages and Systems (Jan. 1986),8, no 1, pp. 1–49.
5. Codish (M.), Shapiro (E.). Compiling Cor-parallelism into and-parallelism. Proceedings of the Third International Logic Programming Conference.Springer Verlag, London (1986), pp. 283–297.