Regular expression length via arithmetic formula complexity. - Ehud Cseresnyes; Hannes Seiwert (J. Comput. Syst. Sci., 2022)