Yves Lafont. Equational Reasoning with Two-Dimensional Diagrams. In Hubert Comon, Jean-Pierre Jouannaud, editors, Term Rewriting, French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993, Advanced Course. Volume 909 of Lecture Notes in Computer Science, pages 170-195, Springer, 1993.
Abstract is missing.