Finding Minimal Plan Reductions Using Classical Planning - Salerno, Mauricio Federico; Fuentetaja Pizan, Raquel; Seipp, Jendrik (JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2025)