Al Kashari, Zainab, and Fatma Al Taheri. 2019. “Automated Reasoning and Robotics”. American Scientific Research Journal for Engineering, Technology, and Sciences 62 (1): 91-100. https://www.asrjetsjournal.org/American_Scientific_Journal/article/view/5418.