Termination Orders for 3-Dimensional Rewriting (0)

by Y Guiraud
Venue:Journal of Pure and Applied Algebra