Rocha, Francisco, Thiago Alves Rocha, Reginaldo Pereira Fernandes Ribeiro, and Ajalmar Rêgo Rocha.
" Logic-Based Explanations for Linear Support Vector Classifiers with Reject Option." <em>Anais da XII Brazilian Conference on Intelligent Systems,
Belo Horizonte/MG, 2023</em>. SBC, 2023,  
pp.144-159.