Gerardo Canfora, Francesco Mercaldo, Antonella Santone: A Novel Classification Technique based on Formal Methods. ACM Trans. Knowl. Discov. Data 17(8): 113:1-113:30 (2023)