1. Alberti, M., Daolio, D., Torroni, P., Gavanelli, M., Lamma, E., Mello, P.: Specification and verification of agent interaction protocols in a logic-based system. In: Haddad, H.M., Omicini, A., Wainwright, R.L. (eds.) Proceedings of the 2004 ACM Symposium on Applied Computing, pp. 72–78. ACM Press, New York (2004)
2. Baader, F., Calvanese, D., McGuinness, D.L., Nardiand, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, Applications. Cambridge University Press, Cambridge (2003)
3. Blackburn, P., van Benthem, J., Wolter, F.: Handbook of Modal Logic. Elsevier, North Holland (2006)
4. Lecture Notes in Computer Science;L. Cabac,2005
5. De Boer, F.S., Gabbrielli, M., Marchiori, E., Palamidessi, C.: Proving concurrent constraint programs correct. ACM Transactions on Programming Languages and Systems 19(5), 685–725 (1997)