Well-Quasi Orders in Computation, Logic, Language and ReasoningPeter M. Schuster, Monika Seisenberger, Andreas Weiermann · First published 2020Open the Tome
