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