AL KASHARI, Zainab; AL TAHERI, Fatma. Automated Reasoning and Robotics. American Scientific Research Journal for Engineering, Technology, and Sciences, Jordan, v. 62, n. 1, p. 91–100, 2019. Disponível em: https://www.asrjetsjournal.org/American_Scientific_Journal/article/view/5418. Acesso em: 10 sep. 2025.