Luiz Fernando Queiroz, Carlos Henrique Cavalcante, and Thiago Rocha. 2025.
 Slice and Explain: Logic-Based Explanations for Neural Networks Through Domain Slicing. In <em>Anais da XXXV Brazilian Conference on Intelligent Systems</em>, setembro 29, 2025, Fortaleza/CE, Brasil. SBC, Porto Alegre, Brasil, 486-500.