Termination orders for 3-dimensional rewriting (2004)

View PDF

Download Links

by Yves Guiraud
Venue:J. of
Citations:14 - 4 self