Automata Size Reduction by Procedure Finding. - Michal Sedý; Lukás Holík (NFM, 2025)