1. Abiteboul, S., Vianu, V.: Procedural and declarative database update
All URLs were successfully accessed on January 22, 2013.
languages. In: PODS, pp. 240–250. ACM, New York (1988)
2. Abiteboul, S., Vianu, V.: Datalog extensions for database queries and updates. J. Comp. Syst. Sci. 43(1), 62–124 (1991)
3. Aït-Kaci, H.: Description logic vs. order-sorted feature logic. In: Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Turhan, A.Y., Tessaris, S. (eds.) Description Logics. CEUR Workshop Proceedings, vol. 250. CEUR-WS.org (2007).
http://ceur-ws.org/Vol-250/paper_2.pdf
4. Aït-Kaci, H., Podelski, A., Copen Goldstein, S.: Order sorted feature theory unification. J. Logic Program. 30(2), 99–124 (1997)
5. Angele, J., Kifer, M., Lausen, G.: Ontologies in F-logic. In: Bernus, P., Blazewics, J., Schmidt, G., Shaw, M., Staab, S., Studer, R. (eds.) Handbook on Ontologies. International Handbooks on Information Systems, pp. 45–70. Springer, Berlin (2009)