1. K.R. Apt. Logic programming. In J.van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 493–574. Elsevier, 1990. Vol. B.
2. K.A. Bowen and R.A. Kowalski. Amalgamating Language and Metalanguage in Logic Programming. In K.L. Clark and S.A. Tarnlund, editors, Logic Programming, pages 153–173. Academic Press, 1982.
3. K.A. Bowen and T. Weinberg. A Meta-Level Extension of Prolog. In J. Cohen and J. Conery, editors, Proceedings of IEEE Symposium on Logic Programming, pages 48–53. IEEE Computer Society Press, 1985.
4. A. Brogi and P. Ciancarini. The Concurrent Language Shared Prolog. ACM Transactions on Programming Languages and Systems, 1(1):99–123, 1991.
5. A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Composition Operators for Logic Theories. In J.W. Lloyd, editor, Computational Logic, Symposium Proceedings, pages 117–134. Springer-Verlag, Brussels, November 1990.