Pubblicazioni

Martini, S; Masini, A, A computational interpretation of modal proofs, in: Proof Theory of Modal Logic, DORDRECHT, KLUWER ACADEMIC PUBL, 1996, pp. 213 - 241 [Capitolo/Saggio in libro]

Enrico Denti, Antonio Natali, Andrea Omicini, Moving Prolog Toward Objects, in: Implementations of Logic Programming Systems, NORWELL, MA, KLUWER ACADEMIC PUBLISHERS, 1994, pp. 89 - 101 [Capitolo/Saggio in libro]