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://asrjetsjournal.org/index.php/American_Scientific_Journal/article/view/5418.