Queiroz, L., 		Cavalcante, C., & 		Rocha, T.
2025 set 29.  Slice and Explain: Logic-Based Explanations for Neural Networks Through Domain Slicing. Anais da Brazilian Conference on Intelligent Systems (BRACIS). [Online] :