Levi Carvalho, Saulo Oliveira, and Thiago Rocha. 2024.
 Comparing Neural Network Encodings for Logic-Based Explainability. In <em>Anais da XXXIV Brazilian Conference on Intelligent Systems</em>, novembro 17, 2024, Belém/PA, Brasil. SBC, Porto Alegre, Brasil, 281-295.