1. Atzeni, P., Cacace, F., Ceri, S., and Tanca L. The LOGIDATA+ model. Technical Report 5/20, CNR, Progetto Finalizzato Sistemi Informatica e Calcolo Parallelo, Sottoprogetto 5, 1990.
2. Abiteboul, S. and Grumbach, S. Col: a logic based language for complex objects. In EDBT'88 International Conference on Extending Database Technology, pages 271–293, Springer-Verlag, Berlin, 1988.
3. Abiteboul, S. and Kanellakis, P. C. Object Identity as a Query Language Primitive. in: Proceedings of the 1989 ACM SIGMOD International Conference on Mangement of Data, pages 159–173, Portland, Oreg. (1989).
4. Abiteboul, S. and Hull, R. B. Ifo: a formal semantic data model. ACM Transactions on Database Systems, 12, 4 (1987), 297–314.
5. Aït-Kaci, H. Type Subsumption as a Model of Computation. In Kerschberg, L., editor, First International Workshop on Expert Database Systems, Benjamin Cummings, Menlo Park, Cal., 1986.