CARVALHO, Levi Cordeiro; 						OLIVEIRA, Saulo A. F.; 						ROCHA, Thiago Alves.
 Comparing Neural Network Encodings for Logic-Based Explainability. <em>In</em>: BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS), 13.	, 2024, Belém/PA.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2024
.
 p. 281-295. 
			ISSN 2643-6264.