1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)
2. Belardinelli, F., Lomuscio, A., Patrizi, F.: A computationally-grounded semantics for artifact-centric systems and abstraction results. In: Proc. of IJCAI (2011)
3. Lecture Notes in Computer Science;F. Belardinelli,2011
4. Belardinelli, F., Lomuscio, A., Patrizi, F.: An abstraction technique for the verification of artifact-centric systems. In: Proc. of KR (2012)
5. Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: View-based query answering in description logics: Semantics and complexity. J. Comput. Syst. Sci. 78(1), 26–46 (2012)