Smart Expansion Techniques for ASP-based Interactive Configuration. - Lucia Balázová; Richard Comploi-Taupe; Susana Hahn; Nicolas Rühling; Gottfried Schenner (CoRR, 2025)