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