Carvalho, L., 		Oliveira, S., & 		Rocha, T.
(2024).
 Comparing Neural Network Encodings for Logic-Based Explainability.
In <em>Anais da XXXIV Brazilian Conference on Intelligent Systems</em>, (pp. 281-295). Porto Alegre: SBC.