Disjunctive and Conjunctive Normal Form Explanations of Clusters Using Auxiliary Information. - Robert F. Downey; S. S. Ravi (CoRR, 2025)