A Termination Ordering for Higher Order Rewrite System. - Olav Lysne; Javier Piris (RTA, 1995)