Slice and Explain: Logic-Based Explanations for Neural Networks Through Domain Slicing. - Luiz Fernando Paulino Queiroz; Carlos H. L. Cavalcante; Thiago Alves Rocha (BRACIS (2), 2025)