@article{Abdulla2011248,
    Author = {Abdulla, Parosh Aziz and Delzanno, Giorgio and Begin, Laurent Van},
    File = {A classification of the expressive power of well-structured transition systems - Abdulla, Delzanno, Begin (0) (0) - a - a - a.pdf},
    ISSN = {0890-5401},
    Journal = {Information and Computation},
    Keywords = {well quasi-orders and well-structured transition systems},
    Note = {<ce:title>Special Issue: 3rd International Conference on Language and Automata Theory and Applications (LATA 2009)</ce:title>},
    Number = {3},
    Pages = {248 - 279},
    Title = {A classification of the expressive power of well-structured transition systems},
    URL = {http://www.sciencedirect.com/science/article/pii/S0890540110001872},
    Volume = {209},
    Year = {2011},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540110001872},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.ic.2010.11.003},
    date-added = {2012-06-10 13:01:18 +0200},
    date-modified = {2012-12-02 15:44:22 +0000},
    doi = {10.1016/j.ic.2010.11.003}
}

@article{Abdulla2011248, Author = {Abdulla, Parosh Aziz and Delzanno, Giorgio and Begin, Laurent Van}, File = {A classification of the expressive power of well-structured transition systems - Abdulla, Delzanno, Begin (0) (0) - a - a - a.pdf}, ISSN = {0890-5401}, Journal = {Information and Computation}, Keywords = {well quasi-orders and well-structured transition systems}, Note = {Special Issue: 3rd International Conference on Language and Automata Theory and Applications (LATA 2009)}, Number = {3}, Pages = {248 - 279}, Title = {A classification of the expressive power of well-structured transition systems}, URL = {http://www.sciencedirect.com/science/article/pii/S0890540110001872}, Volume = {209}, Year = {2011}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540110001872}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.ic.2010.11.003}, date-added = {2012-06-10 13:01:18 +0200}, date-modified = {2012-12-02 15:44:22 +0000}, doi = {10.1016/j.ic.2010.11.003} }