The Order Types of Termination Orderings on Monadic Terms, Strings and Multisets

Ursula Martin, Elizabeth Scott. The Order Types of Termination Orderings on Monadic Terms, Strings and Multisets. Journal of Symbolic Logic, 62(2):624-635, 1997.

Abstract

Abstract is missing.