1. Ayed, S., Boulahia, N.C., Cuppens, F.: Deploying access control in distributed workflow. In: Proceedings of the Sixth Australasian Conference on Information Security, AISC 2008, vol. 81, pp. 9–17 (2008)
2. Baader, F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)
3. Bozzato, L.: Kripke Semantics and Tableau Procedures for Constructive Description Logics. PhD thesis, Università Degli Studi Dell’inubria (2009)
4. Bozzato, L., Ferrari, M.: A note on semantic web services specification and composition in constructive description logics. Journal of Syntax and Semantics (2010)
5. Ferrari, M., Fiorentini, C., Fiorino, G.: BCDL: Basic constructive description logic. Journal of Automated Reasoning 44(4), 371–399 (2010)