1. G. Amato. Sequent Calculi and Indexed Categories as a Foundation for Logic Programming. PhD thesis, Dipartimento di Informatica, Universitá di Pisa, 2000.
2. 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 and The MIT Press, 1990.
3. A. Asperti and S. Martini. Projections instead of variables. In G. Levi and M. Martelli, editors, Proc. Sixth Int’l Conf. on Logic Programming, pages 337–352. The MIT Press, 1989.
4. R. Barbuti, R. Giacobazzi, and G. Levi. A General Framework for Semanticsbased Bottom-up Abstract Interpretation of Logic Programs. ACM Transactions on Programming Languages and Systems, 15(1):133–181, 1993.
5. M. Barr and C. Wells. Category Theory for Computing Science. Prentice Hall, New York, 1990.