Termination of rewriting on reversible Boolean circuits as a free 3-category problem. - Adriano Barile; Stefano Berardi; Luca Roversi (Theor. Comput. Sci., 2025)