1. Agrawal, R., Johnson, C., Kiernan, J., & Leymann, F. (2006). Taming compliance with Sarbanes-Oxley internal controls using database technology. In Proc. of the 22nd int’l conf. on data engineering (ICDE’06) (p. 92). Los Alamitos: IEEE Computer Society.
2. LNCS;M Alberti,2006
3. Alberti, M., et al. (2007). Expressing and verifying business contracts with abductive logic. In Normative multi-agent systems, dagstuhl seminar proceedings (No. 07122). Internationales Begegnungs- und Forschungszentrum fuer Informatik.
4. Attie, P., Singh, M., Sheth, A., & Rusinkiewicz, M. (1993). Specifying and enforcing intertask dependencies. In Proc. VLDB ’93 (pp. 134–145). San Mateo: Morgan Kaufmann.
5. Baader, F., et al. (2003). The description logic handbook—theory, implementation and applications. Cambridge: Cambridge University Press.