Iterative lexicographic path orders

Vincent van Oostrom, Roel de Vrijer

pp. 541-554


This document is unfortunately not available for download at the moment.

Not implemented yet !