Logic, Leaves, and Labels: Visualizing SELinux Trees with ASP Chef. - Mario Alviano; Pietro Macrì (CILC, 2025)