A minimal substitution basis for the Kalmár elementary functions. - Prunescu, Mihai; Sauras-Altuzarra, Lorenzo; Shunia, Joseph M (Journal of Logic & Computation, 2026)