El Menshawy, M., Bentahar, J., El Kholy, W., Yolum, P., Dssouli, R., "Computational Logics and Verification Techniques of Multi-Agent Commitments: Survey", Knowledge Engineering Review, 30, 5, 564-606, 2015.