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://asrjetsjournal.org/American_Scientific_Journal/article/view/5418. Acesso em: 30 sep. 2025.