1. S. Abramsky. Computational interpretations of linear logic. Theoretical Computer Science, 111(1 & 2):3–59, 1993.
2. J. M. Andreoli. Logic programming with focusing proofs in linear logic. Journal of Logic and Computation, 2(3):297–347, 1992.
3. J. M. Andreoli and R. Pareschi. Linear Objects: logical processes with built-in inheritance. In D. H. D. Warren and P. Szeredi, editors, Proc. Seventh Int'l Conf. on Logic Programming, pages 495–590. The MIT Press, Cambridge, Mass., 1990.
4. J. M. Andreoli and R. Pareschi. Communication as fair distribution of knowledge. In Proc. of OOPSLA '91, pages 212–229, 1991.
5. K. R. Apt. Introduction to Logic Programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, pages 495–574. Elsevier, Amsterdam and The MIT Press, Cambridge, 1990.