Termination orders for 3-dimensional rewriting (0)

by Y Guiraud
Venue:Journal of Pure and Applied Algebra