1. H. Ait-Kaci Warren’s Abstract Machine: A Tutorial Reconstruction. The MIT Press, 1991.
2. H. Benker, J.-M. Beacco, S. Bescos, M. Dorochevsky, Th. Jeffré, A. Pöhlmann, J. Noyé, B. Poterie, A. Sexton, J.-C. Syre, O. Thibault, and G. Watzlawik. KCM: A Knowledge Crunching Machine. In Proceedings of the 16th Annual International Symposium on Computer Architecture, pages 186–194. IEEE Computer Society Press, June 1989.
3. M. Carlsson. On the efficiency of optimising shallow backtracking in compiled Prolog. In G. Levi and M. Martelli, editors, Proceedings of the 6th International Conference on Logic Programming, pages 3–16. MIT Press, June 1989.
4. M. Carlsson and P. Szeredi. The Aurora abstract machine and its emulator. Research Report R90005, SICS, 1990.
5. B. Demoen and A. Mariën. Implementation of Prolog as binary definite programs. In A. Voronkov, editor, Logic Programming, Proceedings of the 1st and 2nd Russian Conference on Logic Programming, number 592 in Lecture Notes in Artificial Intelligence, pages 165–176. Springer-Verlag, 1992.