Queiroz, Luiz Fernando, Cavalcante, Carlos Henrique, E Rocha, Thiago. " Slice and Explain: Logic-Based Explanations for Neural Networks Through Domain Slicing" Anais da Brazilian Conference on Intelligent Systems (BRACIS) [Online], (29 setembro 2025)