@article {695,
	title = {Automatic Verification of Communicative Commitments using Reduction},
	journal = {Journal of Intelligent Computing},
	volume = {9},
	year = {2018},
	month = {09/2018},
	pages = {114-128},
	type = {Research},
	author = {Mofleh Al-diabat and Faisal Al-saqqar and Ashraf Al-saqqar}
}
