The logical style painting classifier based on Horn clauses and explanations (ℓ-SHE) | Publicación