@article{Abdulla2000109,
    Author = {Abdulla, Parosh Aziz and Cerans, Karlis and Jonsson, Bengt and Tsay, Yih-Kuen},
    File = {Algorithmic Analysis of Programs with Well Quasi-ordered Domains - Abdulla, Cerans, Jonsson, Tsay (0) (0) - a - a - s.pdf},
    ISSN = {0890-5401},
    Journal = {Information and Computation},
    Keywords = {well quasi-orders and well-structured transition systems},
    Number = {1{\^a}€``2},
    Pages = {109 - 127},
    Title = {Algorithmic Analysis of Programs with Well Quasi-ordered Domains},
    URL = {http://www.sciencedirect.com/science/article/pii/S0890540199928432},
    Volume = {160},
    Year = {2000},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540199928432},
    bdsk-url-2 = {http://dx.doi.org/10.1006/inco.1999.2843},
    date-added = {2012-12-01 09:32:31 +0000},
    date-modified = {2012-12-26 12:16:12 +0000},
    doi = {10.1006/inco.1999.2843}
}

@article{Abdulla2000109, Author = {Abdulla, Parosh Aziz and Cerans, Karlis and Jonsson, Bengt and Tsay, Yih-Kuen}, File = {Algorithmic Analysis of Programs with Well Quasi-ordered Domains - Abdulla, Cerans, Jonsson, Tsay (0) (0) - a - a - s.pdf}, ISSN = {0890-5401}, Journal = {Information and Computation}, Keywords = {well quasi-orders and well-structured transition systems}, Number = {1{\^a}€``2}, Pages = {109 - 127}, Title = {Algorithmic Analysis of Programs with Well Quasi-ordered Domains}, URL = {http://www.sciencedirect.com/science/article/pii/S0890540199928432}, Volume = {160}, Year = {2000}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540199928432}, bdsk-url-2 = {http://dx.doi.org/10.1006/inco.1999.2843}, date-added = {2012-12-01 09:32:31 +0000}, date-modified = {2012-12-26 12:16:12 +0000}, doi = {10.1006/inco.1999.2843} }