150059

References

Vincent van Oostrom

Iterative lexicographic path orders

2006

with de Vrijer Roel

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

Open Access Link