Equational reasoning with 2-dimensional diagrams (1995)

by Yves Lafont
Venue:in Term Rewriting, Lecture Notes in Computer Science