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