1. Université de Sousse, Institut Supérieur d’Informatique et des Techniques de Communication (ISITCom), Modelling of Automated Reasoning Systems Research Laboratory, LR17ES05, 4011, Hammam Sousse, Tunisia
2. College of Applied Sciences, 411, Sur, Oman
3. Department of Computer Science & Engineering, Sathyabama Institute of Science & Technology, Chennai 600119, India