Francisco Rocha, Thiago Rocha, Reginaldo Ribeiro, and Ajalmar Rocha. 2023.
 Logic-Based Explanations for Linear Support Vector Classifiers with Reject Option. In <em>Anais da XII Brazilian Conference on Intelligent Systems</em>, setembro 25, 2023, Belo Horizonte/MG, Brasil. SBC, Porto Alegre, Brasil, 144-159.