See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/225791506 A Termination Ordering for Higher Order Rewrite Systems CHAPTER · JANUARY 2006 DOI: 10.1007/3-540-59200-8_45 CITATIONS 18 READS 23 2 AUTHORS: Olav Lysne Simula Research Laboratory 128 PUBLICATIONS 1,278 CITATIONS SEE PROFILE Javier Piris Universitat Politècnica de València 5 PUBLICATIONS 20 CITATIONS SEE PROFILE Available from: Olav Lysne Retrieved on: 03 February 2016