Diminution: On Reducing the Size of Grounding ASP Programs. - HuanYu Yang; Fengming Zhu; YangFan Wu; Jianmin Ji (CoRR, 2025)