Jan Janousek, Stepán Plachý: Shortest Characteristic Factors of a Deterministic Finite Automaton and Computing Its Positive Position Run by Pattern Set Matching. SOFSEM 2024: 326-339