@article{Ogawa:2004:WR9:1041006.1041010,
    Address = {Essex, UK},
    Author = {Ogawa, Mizuhito},
    File = {Well-quasi-orders and regular omega-languages - Ogawa (0) (0) - a - a - n.pdf},
    ISSN = {0304-3975},
    Journal = {Theor. Comput. Sci.},
    Keywords = {well quasi-orders},
    Month = {September},
    Number = {1},
    Pages = {55--60},
    Publisher = {Elsevier Science Publishers Ltd.},
    Title = {Well-quasi-orders and regular omega-languages},
    URL = {http://dx.doi.org/10.1016/j.tcs.2004.03.052},
    Volume = {324},
    Year = {2004},
    acmid = {1041010},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.tcs.2004.03.052},
    date-added = {2012-12-01 09:25:04 +0000},
    date-modified = {2012-12-01 15:07:41 +0000},
    file-2 = {Well-quasi-orders and regular omega-languages - Ogawa (1) (0) - a - a - n.pdf},
    issue_date = {16 September 2004},
    numpages = {6},
    doi = {10.1016/j.tcs.2004.03.052}
}

@article{Ogawa:2004:WR9:1041006.1041010, Address = {Essex, UK}, Author = {Ogawa, Mizuhito}, File = {Well-quasi-orders and regular omega-languages - Ogawa (0) (0) - a - a - n.pdf}, ISSN = {0304-3975}, Journal = {Theor. Comput. Sci.}, Keywords = {well quasi-orders}, Month = {September}, Number = {1}, Pages = {55--60}, Publisher = {Elsevier Science Publishers Ltd.}, Title = {Well-quasi-orders and regular omega-languages}, URL = {http://dx.doi.org/10.1016/j.tcs.2004.03.052}, Volume = {324}, Year = {2004}, acmid = {1041010}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.tcs.2004.03.052}, date-added = {2012-12-01 09:25:04 +0000}, date-modified = {2012-12-01 15:07:41 +0000}, file-2 = {Well-quasi-orders and regular omega-languages - Ogawa (1) (0) - a - a - n.pdf}, issue_date = {16 September 2004}, numpages = {6}, doi = {10.1016/j.tcs.2004.03.052} }