Carvalho, Levi, Saulo A. F. Oliveira, and Thiago Alves Rocha.
" Comparing Neural Network Encodings for Logic-Based Explainability." <em>Anais da XXXIV Brazilian Conference on Intelligent Systems,
Belém/PA, 2024</em>. SBC, 2024,  
pp.281-295.