L. Queiroz, C. Cavalcante, and T. Rocha.
" Slice and Explain: Logic-Based Explanations for Neural Networks Through Domain Slicing", in <em>Anais da XXXV Brazilian Conference on Intelligent Systems</em>, Fortaleza/CE, 2025, pp. 486-500.