The order types of termination orderings on monadic terms, strings and multisets

Ursula Martin, Elizabeth Scott

Browse the full LICS paper archive.