@misc{10001,
  author = {Olav Lysne and J. Piris},
  title = {A Termination Ordering for Higher Order Rewrite Systems},
  year = {1995},
  journal = {Proceedings 6th International Conference on Rewriting Techniques and Applications},
  pages = {26-40},
  publisher = {Springer-Verlag},
  address = {Kaiserslautern (Germany)},
}