The order types of termination orderings on monadic terms‚ strings and multisets
Ursula Martin and Elizabeth Scott
Book Title
Logic in Computer Science‚ 1993. LICS'93.‚ Proceedings of Eighth Annual IEEE Symposium on
Organisation
IEEE
Pages
356–363
Year
1993