150060

References

Roel de Vrijer

Iterative lexicographic path orders

2006

with van Oostrom Vincent

in: Algebra, meaning, and computation, Dordrecht : Springer

Open Access Link