@inproceedings{Courcelle:2008:GSM:1427895.1427897,
    Address = {Berlin, Heidelberg},
    Author = {Courcelle, Bruno},
    BookTitle = {Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part I},
    File = {Graph Structure and Monadic Second-Order Logic Language Theoretical Aspects - Courcelle (0) (0) - a - a - a.pdf},
    ISBN = {978-3-540-70574-1},
    Keywords = {MSO},
    Location = {Reykjavik, Iceland},
    Pages = {1--13},
    Publisher = {Springer-Verlag},
    Series = {ICALP '08},
    Title = {Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects},
    URL = {http://dx.doi.org/10.1007/978-3-540-70575-8\_1},
    Year = {2008},
    acmid = {1427897},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-70575-8\_1},
    date-added = {2012-04-27 14:26:41 +0200},
    date-modified = {2012-04-27 12:27:09 +0000},
    numpages = {13},
    doi = {10.1007/978-3-540-70575-8_1}
}

@inproceedings{Courcelle:2008:GSM:1427895.1427897, Address = {Berlin, Heidelberg}, Author = {Courcelle, Bruno}, BookTitle = {Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part I}, File = {Graph Structure and Monadic Second-Order Logic Language Theoretical Aspects - Courcelle (0) (0) - a - a - a.pdf}, ISBN = {978-3-540-70574-1}, Keywords = {MSO}, Location = {Reykjavik, Iceland}, Pages = {1--13}, Publisher = {Springer-Verlag}, Series = {ICALP '08}, Title = {Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects}, URL = {http://dx.doi.org/10.1007/978-3-540-70575-8_1}, Year = {2008}, acmid = {1427897}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-70575-8_1}, date-added = {2012-04-27 14:26:41 +0200}, date-modified = {2012-04-27 12:27:09 +0000}, numpages = {13}, doi = {10.1007/978-3-540-70575-8_1} }