M.  Al-diabat, Al-saqqar, F., and Al-saqqar, A., ?Automatic Verification of Communicative Commitments using Reduction?, Journal of Intelligent Computing, vol. 9, no. 3, pp. 114-128, 2018.