A Higher-Order Iterative Path Ordering.

Cynthia Kop, Femke van Raamsdonk

Browse the full LPAR paper archive.