Finding Minimal Plan Reductions Using Classical Planning (JAIR, 2025)