@chapter{AbdullaDelzannoBegin,
    Author = {Abdulla, Parosh Aziz and Delzanno, Giorgio and Begin, Laurent Van},
    BookTitle = {Computer Science Logic},
    File = {Comparing the Expressive Power of Well-Structured Transition Systems - Abdulla, Delzanno, Begin (0) (0) - a - a - k.pdf},
    Keywords = {well-structured transition systems},
    Pages = {99--114},
    Series = {Lecture Notes in Computer Science},
    Title = {Comparing the Expressive Power of Well-Structured Transition Systems},
    Volume = {4646},
    Year = {2007},
    bdsk-url-1 = {http://www.springerlink.com/content/kt07710560k32446/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-74915-8\_11},
    date-added = {2012-06-10 13:13:17 +0200},
    date-modified = {2012-06-10 11:13:25 +0000},
    doi = {10.1007/978-3-540-74915-8_11}
}

@chapter{AbdullaDelzannoBegin, Author = {Abdulla, Parosh Aziz and Delzanno, Giorgio and Begin, Laurent Van}, BookTitle = {Computer Science Logic}, File = {Comparing the Expressive Power of Well-Structured Transition Systems - Abdulla, Delzanno, Begin (0) (0) - a - a - k.pdf}, Keywords = {well-structured transition systems}, Pages = {99--114}, Series = {Lecture Notes in Computer Science}, Title = {Comparing the Expressive Power of Well-Structured Transition Systems}, Volume = {4646}, Year = {2007}, bdsk-url-1 = {http://www.springerlink.com/content/kt07710560k32446/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-74915-8_11}, date-added = {2012-06-10 13:13:17 +0200}, date-modified = {2012-06-10 11:13:25 +0000}, doi = {10.1007/978-3-540-74915-8_11} }