Rocha, Francisco, 		Rocha, Thiago, 		Ribeiro, Reginaldo, E 		Rocha, Ajalmar.
" Logic-Based Explanations for Linear Support Vector Classifiers with Reject Option" <em>Anais da Brazilian Conference on Intelligent Systems (BRACIS)</em> [Online], (25 setembro 2023)