Al Kashari, Z.; Al Taheri, F. . Automated Reasoning and Robotics. ASRJETS-Journal 2019, 62 (1), 91-100.