Rocha, F., 		Rocha, T., 		Ribeiro, R., & 		Rocha, A.
(2023).
 Logic-Based Explanations for Linear Support Vector Classifiers with Reject Option.
In <em>Anais da XII Brazilian Conference on Intelligent Systems</em>, (pp. 144-159). Porto Alegre: SBC.