Bonfim, F. C. J.; SIlva, S. P.; Neves, A. S.; Santos, H.; Neto, J. A. M.; Araujo, J. L. B.; Pires, R. S.; Costa, R. A. D. S.; Furtado, V.; Pinheiro, V. SARA: Leveraging LLM Agents and Jurisprudential Ontologies for Automated Legal Reasoning. AAAI 2026, 40, 39911-39919.