Carvalho, L., 		Oliveira, S., & 		Rocha, T.
2024 nov 17.  Comparing Neural Network Encodings for Logic-Based Explainability. Anais da Brazilian Conference on Intelligent Systems (BRACIS). [Online] :