Axiomatic rewriting theory I: a diagrammatic standardisation theorem (2005)

by P Melliès
Venue:in Processes, Terms and Cycles: Steps on the Road to Infinity, Lecture Notes in Computer Science 3838