@article{Veldman:2004aa,
    Author = {Veldman, Wim},
    File = {An intuitionistic proof of Kruskal’s theorem - veldman2004 - a - a - a - g.pdf},
    ISBN = {1432-0665},
    Journal = {Archive for Mathematical Logic},
    Number = {2},
    Pages = {215--264},
    Title = {An intuitionistic proof of Kruskal's theorem},
    URL = {https://doi.org/10.1007/s00153-003-0207-x},
    Volume = {43},
    Year = {2004},
    bdsk-url-1 = {https://doi.org/10.1007/s00153-003-0207-x},
    da = {2004/02/01},
    date-added = {2020-04-02 16:02:35 +0200},
    date-modified = {2020-04-02 16:02:35 +0200},
    id = {Veldman2004},
    ty = {JOUR},
    doi = {10.1007/s00153-003-0207-x}
}

@article{Veldman:2004aa, Author = {Veldman, Wim}, File = {An intuitionistic proof of Kruskal’s theorem - veldman2004 - a - a - a - g.pdf}, ISBN = {1432-0665}, Journal = {Archive for Mathematical Logic}, Number = {2}, Pages = {215--264}, Title = {An intuitionistic proof of Kruskal's theorem}, URL = {https://doi.org/10.1007/s00153-003-0207-x}, Volume = {43}, Year = {2004}, bdsk-url-1 = {https://doi.org/10.1007/s00153-003-0207-x}, da = {2004/02/01}, date-added = {2020-04-02 16:02:35 +0200}, date-modified = {2020-04-02 16:02:35 +0200}, id = {Veldman2004}, ty = {JOUR}, doi = {10.1007/s00153-003-0207-x} }