@article{Weiermann:1994:CBF:208254.208266,
    Address = {Duluth, MN, USA},
    Author = {Weiermann, Andreas},
    File = {Complexity bounds for some finite forms of Kruskal's theorem - Weiermann (0) (0) - a - a - b.pdf},
    ISSN = {0747-7171},
    Journal = {J. Symb. Comput.},
    Keywords = {well quasi-orders},
    Month = {November},
    Number = {5},
    Pages = {463--488},
    Publisher = {Academic Press, Inc.},
    Title = {Complexity bounds for some finite forms of Kruskal's theorem},
    URL = {http://dx.doi.org/10.1006/jsco.1994.1059},
    Volume = {18},
    Year = {1994},
    acmid = {208266},
    bdsk-url-1 = {http://dx.doi.org/10.1006/jsco.1994.1059},
    date-added = {2013-10-21 11:53:05 +0000},
    date-modified = {2013-10-21 11:53:13 +0000},
    issue_date = {Nov. 1994},
    numpages = {26},
    doi = {10.1006/jsco.1994.1059}
}

@article{Weiermann:1994:CBF:208254.208266, Address = {Duluth, MN, USA}, Author = {Weiermann, Andreas}, File = {Complexity bounds for some finite forms of Kruskal's theorem - Weiermann (0) (0) - a - a - b.pdf}, ISSN = {0747-7171}, Journal = {J. Symb. Comput.}, Keywords = {well quasi-orders}, Month = {November}, Number = {5}, Pages = {463--488}, Publisher = {Academic Press, Inc.}, Title = {Complexity bounds for some finite forms of Kruskal's theorem}, URL = {http://dx.doi.org/10.1006/jsco.1994.1059}, Volume = {18}, Year = {1994}, acmid = {208266}, bdsk-url-1 = {http://dx.doi.org/10.1006/jsco.1994.1059}, date-added = {2013-10-21 11:53:05 +0000}, date-modified = {2013-10-21 11:53:13 +0000}, issue_date = {Nov. 1994}, numpages = {26}, doi = {10.1006/jsco.1994.1059} }