@inproceedings{JGL-mfcs13,
    Address = {Klosterneuburg, Austria},
    Author = {Goubault{-}Larrecq, Jean},
    BookTitle = {{P}roceedings of the 38th {I}nternational {S}ymposium on {M}athematical {F}oundations of {C}omputer {S}cience ({MFCS}'13)},
    Editor = {Chatterjee, Krishnendu and Sgall, Ji{\v{r}}{\'\i}},
    File = {JGL-mfcs13 (0) - a - a - u.pdf},
    Month = {August},
    Pages = {22-41},
    Publisher = {Springer},
    Series = {Lecture Notes in Computer Science},
    Title = {A Constructive Proof of the Topological {K}ruskal Theorem},
    URL = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/JGL-mfcs13.pdf},
    Volume = {8087},
    Year = {2013},
    bdsk-url-1 = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/JGL-mfcs13.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-40313-2\_3},
    date-added = {2017-07-18 19:54:50 +0000},
    date-modified = {2017-07-18 19:54:50 +0000},
    doi = {10.1007/978-3-642-40313-2_3}
}

@inproceedings{JGL-mfcs13, Address = {Klosterneuburg, Austria}, Author = {Goubault{-}Larrecq, Jean}, BookTitle = {{P}roceedings of the 38th {I}nternational {S}ymposium on {M}athematical {F}oundations of {C}omputer {S}cience ({MFCS}'13)}, Editor = {Chatterjee, Krishnendu and Sgall, Ji{\v{r}}{\'\i}}, File = {JGL-mfcs13 (0) - a - a - u.pdf}, Month = {August}, Pages = {22-41}, Publisher = {Springer}, Series = {Lecture Notes in Computer Science}, Title = {A Constructive Proof of the Topological {K}ruskal Theorem}, URL = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/JGL-mfcs13.pdf}, Volume = {8087}, Year = {2013}, bdsk-url-1 = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/JGL-mfcs13.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-40313-2_3}, date-added = {2017-07-18 19:54:50 +0000}, date-modified = {2017-07-18 19:54:50 +0000}, doi = {10.1007/978-3-642-40313-2_3} }