@article{924225,
      author = {Schuster, Peter M. and Seisenberger, Monika. and  Weiermann, Andreas.},
      url = {http://library.usi.edu/record/924225},
      title = {Well-quasi orders in computation, logic, language and  reasoning : a unifying concept of proof theory, automata  theory, formal languages and descriptive set theory /},
      publisher = {Springer,},
      recid = {924225},
      pages = {1 online resource (395 pages).},
      address = {Cham :},
      year = {2020},
}