1. Ait-Kaci, H., Data Model as Constraint Systems: A Key to the Semanic Web, ILOG Inc., draft, 2007.
2. Ait-Kaci, H., Dumant, B., Meyer, R., Podelski, A. and Van Roy, P., The Wild LIFE Handbook, Paris Research Laboratory, 1994.
3. Ait-Kaci, H., Podelski, A. and Goldstein, S., “Order-sorted feature theory unification,” Journal of Logic Programming, 30, 2, pp. 1279-1318, 1997.
4. Arenas, M. and Libkin, L., “XML Data Exchange: Consistency and Query Answering,” in Proc. of the 24th ACM SIGMOD Symposium on Principles of Database Systems, PODS 2005, ACM, 2005.
5. Barwise, J. and Perry, J., Situations and attitudes, MIT Press, Cambridge, MA, 1983.