Al Kashari, Z., and F. . Al Taheri. “Automated Reasoning and Robotics”. American Scientific Research Journal for Engineering, Technology, and Sciences, vol. 62, no. 1, Dec. 2019, pp. 91-100, https://asrjetsjournal.org/index.php/American_Scientific_Journal/article/view/5418.