Rocha, F., 		Rocha, T., 		Ribeiro, R., & 		Rocha, A.
2023 set 25.  Logic-Based Explanations for Linear Support Vector Classifiers with Reject Option. Anais da Brazilian Conference on Intelligent Systems (BRACIS). [Online] :