TY  - RPRT
TI  - Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem
AU  - Adriano Barile
AU  - Stefano Berardi
AU  - Luca Roversi
PY  - 2024
UR  - https://arxiv.org/abs/2401.02091
ID  - 2401.02091
ER  -