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

by Ursula Martin, Elizabeth Scott
Venue:J. Symbolic Logic