QUEIROZ, Luiz Fernando Paulino; 						CAVALCANTE, Carlos Henrique Leitão; 						ROCHA, Thiago Alves.
 Slice and Explain: Logic-Based Explanations for Neural Networks Through Domain Slicing. <em>In</em>: BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS), 35.	, 2025, Fortaleza/CE.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2025
.
 p. 486-500. 
			ISSN 2643-6264.