@chapter{Thomasc,
    Author = {Thomas, Wolfgang},
    BookTitle = {Computer Science - Theory and Applications},
    File = {The Reachability Problem over Infinite Graphs - Thomas (0) (0) - a - a - f.pdf},
    Pages = {12--18},
    Series = {Lecture Notes in Computer Science},
    Title = {The Reachability Problem over Infinite Graphs},
    Volume = {5675},
    Year = {2009},
    bdsk-url-1 = {http://www.springerlink.com/content/x76n43r850426p58/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-03351-3\_2},
    date-added = {2012-05-18 12:03:44 +0200},
    date-modified = {2012-05-18 10:03:44 +0000},
    doi = {10.1007/978-3-642-03351-3_2}
}

@chapter{Thomasc, Author = {Thomas, Wolfgang}, BookTitle = {Computer Science - Theory and Applications}, File = {The Reachability Problem over Infinite Graphs - Thomas (0) (0) - a - a - f.pdf}, Pages = {12--18}, Series = {Lecture Notes in Computer Science}, Title = {The Reachability Problem over Infinite Graphs}, Volume = {5675}, Year = {2009}, bdsk-url-1 = {http://www.springerlink.com/content/x76n43r850426p58/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-03351-3_2}, date-added = {2012-05-18 12:03:44 +0200}, date-modified = {2012-05-18 10:03:44 +0000}, doi = {10.1007/978-3-642-03351-3_2} }