F. Rocha, T. Rocha, R. Ribeiro, and A. Rocha.
" Logic-Based Explanations for Linear Support Vector Classifiers with Reject Option", in <em>Proceedings of the 12th Brazilian Conference on Intelligent Systems</em>, Belo Horizonte/MG, 2023, pp. 144-159.