1. V. Ambriola and C. Montangero. Oikos: Constructing process-centered SDEs, Software Process Modelling and Technology. In A. Finkelstein, J. Kramer, and B. Nuseibeh, editors, Research Study Press. J. Wiley and sons, 1994.
2. D. Apuzzo, D. Aquilino, and P. Asirelli. A Declarative Approach to the Design and Realization of Graphic Interfaces. Technical Report B4-39, October 1994, IEI-CNR Internal Report, 1994. submitted for publication.
3. P. Asirelli, D. Di Grande, P. Inverardi, and F. Nicodemi. Graphics by a logic database management system. Journal of the Visual languages and Computing, 1994. to appear.
4. P. Asirelli, M. De Santis, and M. Martelli. Integrity Constraints in Logic Databases. Journal of Logic Programming, 3:221,232, 1985.
5. R. Barbuti, P. Mancarella, D. Pedreschi, and F. Turini. A trasformational approach to negation in logic programming. Journal of Logic Programming, 2:201–228, 1990.