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

by U Martin, E Scott
Venue:J. Symbolic Logic