1. Amato G., “Sequent Calculi and Indexed Categories as a Foundation for Logic Programming,” Ph.D. thesis, Dipartimento di Informatica, Università di Pisa (2000).
2. Amato G. and G. Levi, Properties of the lattice of observables in logic programming, in: M. Falaschi and M. Navarro, editors, Proceedings of the APPIA-GULP-PRODE'97 Joint Conference on Declarative Programming, 1997, pp. 175–187.
3. Amato G. and G. Levi, Abstract Interpretation Based Semantics of Sequent Calculi, in: J. Palsberg, editor, Static Analysis Symposium 2000, Lecture Notes in Computer Science 1824 (2000), pp. 38–57.
4. Logic programming with focusing proofs in linear logic;Andreoli;Journal of Logic and Computation,1992
5. Armstrong T., K. Marriott, P. Schachte and H. Søndergaard, Boolean functions for dependency analysis: Algebraic properties and efficient representation., in: B. Le Charlier, editor, Proc. Static Analysis Symposium, SAS'94, Lecture Notes in Computer Science 864 (1994), pp. 266–280.