Hermann Gruber, Markus Holzer, Christian Rauch: On Pumping Problems for Unary Regular Languages. SOFSEM (2) 2025: 3-16