@misc {ND.7.Lysne.1994,
	title = {A Termination Ordering for Higher Order Rewrite Systems},
	howpublished = {Proceedings Journees du GDR Programmation, Lille (France), GDR Programmation du CNRS},
	year = {1994},
	author = {Lysne, Olav and Piris, J.}
}
