1. Alberti M., Chesani F., Gavanelli M., Lamma E., Mello P., Torroni P. (2008) Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Transactions on Computational Logic 9(4): 1–43
2. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., & Torroni, P. (2005). The SCIFF abductive proof-procedure. In AI*IA 2005: Advances in artificial intelligence 9th congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21–32, 2005. Proceedings, Lecture notes in computer science (Vol. 3673, pp. 135–147). Berlin: Springer.
3. Andrieux, A., Czajkowski, K., Dan, A., Keahey, K., Ludwig, H., Nakata, T., Pruyne, J., Rofrano, J., Tuecke, S., & Xu, M. (2007). Web services agreement specification (ws-agreement). Tech. rep., Grid Resource Allocation Agreement Protocol (GRAAP) WG.
4. Artikis, A., Sergot, M. J., & Pitt, J. V. (2009) Specifying norm-governed computational societies. ACM Transactions on Computational Logic, 10(1), 1–42.
5. Baldoni, M., Baroglio, C., Capuzzimati, F., Marengo, E., & Patti, V. (2012). A generalized commitment machine for 2cl protocols and its implementation. In M. Baldoni, L. Dennis, V. Mascardi, & W. Vasconcelos (Eds.), Proceedings of the 10th international workshop on declarative agent languages and technologies (DALT 2012). Lecture notes in computer science. Berlin: Springer.