Z. Al Kashari and F. . Al Taheri, “Automated Reasoning and Robotics”, ASRJETS-Journal, vol. 62, no. 1, pp. 91–100, Dec. 2019.