TY - RPRT TI - Algorithmically Expressive, Always-Terminating Model for Reversible Computation AU - Matteo Palazzo AU - Luca Roversi PY - 2024 UR - https://arxiv.org/abs/2402.19012 ID - 2402.19012 ER -