1. Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating Description Logics and Action Formalisms: First Results. In: Veloso, M., Kambhampati, S. (eds.) Proceedings of the 12th Nat. Conf. on Artif. Intell., pp. 572–577. AAAI Press, Menlo Park (2005)
2. Calvanese, D., De Giacomo, G., Vardi, M.: Reasoning about Actions and Planning in LTL Action Theories. In: Fensel, D., Giunchiglia, F., McGuinness, D., Williams, M. (eds.) 8th Int. Conf. on Principles and Knowledge Representation and Reasoning, pp. 593–602. Morgan Kaufmann, San Francisco (2002)
3. Lecture Notes in Artificial Intelligence;L. Chang,2007
4. Chang, L., Shi, Z., Qiu, L., Lin, F.: A Tableau Decision Algorithm for Dynamic Description Logic. Chinese Journal of Computers 31(6), 896–909 (2008)
5. Lecture Notes in Computer Science;G. Giacomo De,1995