Well-Quasi Orders in Computation, Logic, Language and Reasoning
Peter M. Schuster & Monika Seisenberger & Andreas Weiermann
Trends in Logic (53)