Iterative lexicographic path orders

2006

Vincent van Oostrom, Roel de Vrijer

in: Algebra, meaning, and computation, Berlin,