Queiroz, L., 		Cavalcante, C., & 		Rocha, T.
(2025).
 Slice and Explain: Logic-Based Explanations for Neural Networks Through Domain Slicing.
In <em>Proceedings of the 35th Brazilian Conference on Intelligent Systems</em>, (pp. 486-500). Porto Alegre: SBC.