A Termination Ordering for Higher Order Rewrite SystemsAuthorsO. Lysne and J. PirisStatusPublishedPublication typeProceedings RefereedYear of publication1995JournalProceedings 6th International Conference on Rewriting Techniques and ApplicationsPublisherSpringer-VerlagCitation key10001Google Scholar BibTex