Well-Quasi Orders in Computation, Logic, Language and ReasoningPeter M. Schuster, Monika Seisenberger, Andreas Weiermann · First published 2020Open the Tome
Logic, Construction, ComputationUlrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger · First published 2012Open the Tome
