Queiroz, Luiz Fernando, Carlos Henrique Leitão Cavalcante, and Thiago Alves Rocha.
" Slice and Explain: Logic-Based Explanations for Neural Networks Through Domain Slicing." <em>Anais da XXXV Brazilian Conference on Intelligent Systems,
Fortaleza/CE, 2025</em>. SBC, 2025,  
pp.486-500.