A Termination Ordering for Higher Order Rewrite Systems

A Termination Ordering for Higher Order Rewrite Systems

Authors
O. Lysne and J. Piris