1. Hassan Aït-Kaci, Robert Boyer, Patrick Lincoln, and Roger Nasr. Efficient implementation of lattice operations. ACM Transactions on Programming Languages and Systems, 11(1):115–146, January 1989.
2. Hassan Aït-Kaci and Andreas Podelski. Towards a meaning of LIFE. In Jan Maluszyński and Martin Wirsing, editors, Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming (Passau, Germany), pages 255–274. Springer-Verlag, LNCS 528, August 1991.
3. Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, and Enrico Franconi. An empirical analysis of optimization techniques for terminological representation systems. In Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA, October 1992.
4. Robert M. Colomb. Implementing persistent Prolog: large, dynamic, shared procedures in Prolog. Ellis Horwood series in computers and their applications. Ellis Horwood, New York, 1990.
5. Gerard Ellis. Compiled hierarchical retrieval. In [11], pages 285–310, 1991. Also in the proceedings of the Sixth Conceptual Graphs Workshop, pages 187–207.