L. Carvalho, S. Oliveira, and T. Rocha.
" Comparing Neural Network Encodings for Logic-Based Explainability", in <em>Anais da XXXIV Brazilian Conference on Intelligent Systems</em>, Belém/PA, 2024, pp. 281-295.