Persona

Monografia (1979) Logic for problem solving
Monografia (1984) micro–PROLOG : programming in logic
Monografia (1987) TAPSOFT '87 : proceedings of the International joint conference on theory and practice of software development : Pisa, Italy, March 23–27, 1987
Monografia (1988) Logic programming : proceedings of the fifth international conference and symposium