@article{goubaultlarrecq_et_al:DR:2016:5815,
    Address = {Dagstuhl, Germany},
    Annote = {Keywords: Better quasi-order, Well quasi-order, Hierarchy, Infinite State Machines, Logic, Noetherian space, Reducibility, Termination, Topological Complexity,},
    Author = {Goubault-Larrecq, Jean and Seisenberger, Monika and Selivanov, Victor and Weiermann, Andreas},
    Editor = {Goubault-Larrecq, Jean and Seisenberger, Monika and Selivanov, Victor and Weiermann, Andreas},
    File = {Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031) - dagrep\_v006\_i001\_p069\_s16031.pdf},
    ISSN = {2192-5283},
    Journal = {Dagstuhl Reports},
    Number = {1},
    Pages = {69--98},
    Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
    Title = {{Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031)}},
    URL = {http://drops.dagstuhl.de/opus/volltexte/2016/5815},
    Volume = {6},
    Year = {2016},
    bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2016/5815},
    bdsk-url-2 = {https://doi.org/10.4230/DagRep.6.1.69},
    date-added = {2022-07-21 21:06:30 +0200},
    date-modified = {2022-07-21 21:06:30 +0200},
    urn = {urn:nbn:de:0030-drops-58158},
    doi = {10.4230/DagRep.6.1.69}
}

@article{goubaultlarrecq_et_al:DR:2016:5815, Address = {Dagstuhl, Germany}, Annote = {Keywords: Better quasi-order, Well quasi-order, Hierarchy, Infinite State Machines, Logic, Noetherian space, Reducibility, Termination, Topological Complexity,}, Author = {Goubault-Larrecq, Jean and Seisenberger, Monika and Selivanov, Victor and Weiermann, Andreas}, Editor = {Goubault-Larrecq, Jean and Seisenberger, Monika and Selivanov, Victor and Weiermann, Andreas}, File = {Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031) - dagrep_v006_i001_p069_s16031.pdf}, ISSN = {2192-5283}, Journal = {Dagstuhl Reports}, Number = {1}, Pages = {69--98}, Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, Title = {{Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031)}}, URL = {http://drops.dagstuhl.de/opus/volltexte/2016/5815}, Volume = {6}, Year = {2016}, bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2016/5815}, bdsk-url-2 = {https://doi.org/10.4230/DagRep.6.1.69}, date-added = {2022-07-21 21:06:30 +0200}, date-modified = {2022-07-21 21:06:30 +0200}, urn = {urn:nbn:de:0030-drops-58158}, doi = {10.4230/DagRep.6.1.69} }