Reversible Computations of One-Way Counter AutomataMartin Kutrib and Andreas MalcherRAIRO-Theor. Inf. Appl., 58 (2024) 5DOI: https://doi.org/10.1051/ita/2023011
