1. Abiteboul, S. Hull, R. and Vianu, V. (1995) Foundations of Databases,Addison-Wesley Pubs.Co.
2. Aquilino, D. Asirelli, P. Renso, C. and Turini, F. (1995) An Operator for Composing Deductive Databases with Theories of Constraints, in Proc. of Logic programming and Non-Monotonic Reasoning ’95, Lecture Notes in Computer Science, 928, Springer-Verlag, Berlin.
3. Aquilino, D. Asirelli, P. Renso, C. and Turini, F. (1997) Applying Restriction Contraints to Deductive Databases, In Non-determinism in Deductive Databases, (ed. D. Pedreschi and V.S. Subrahmaniam), Annals of Mathematics and Artificial Intelligence, 19 (1,2), 3 - 25.
4. Aquilino, D. Renso, C. and Turini, F. (1996) Towards Declarative GIS analysis Proc. of the Fourth ACM-GIS Worskhop, Rockville, Maryland - USA- November.
5. Asirelli, P. De Santis, M. and Martelli, M. (1985) Integrity Constraints in Logic Databases, Journal of Logic Programming, 3, 221 - 32.