A Termination Ordering for Higher Order Rewrite SystemsAuthorsO. Lysne and J. PirisStatusPublishedPublication typePresentationYear of publication1994JournalProceedings Journees du GDR Programmation, Lille (France), GDR Programmation du CNRSPublisher-Citation key11983Google Scholar BibTex