Roberto Bruni Fabio Gadducci Ugo Montanari Normal forms for algebras of connection. 247-292 2002 286 Theor. Comput. Sci. 2 db/journals/tcs/tcs286.html#BruniGM02