Carvalho, Levi, 		Oliveira, Saulo, E 		Rocha, Thiago.
" Comparing Neural Network Encodings for Logic-Based Explainability" <em>Anais da Brazilian Conference on Intelligent Systems (BRACIS)</em> [Online], (17 novembro 2024)