@article{Courcelle199835,
    Author = {Courcelle, Bruno and Walukiewicz, Igor},
    File = {Monadic second-order logic, graph coverings and unfoldings of transition systems - Courcelle, Walukiewicz (0) (0) - a - a - l.pdf},
    ISSN = {0168-0072},
    Journal = {Annals of Pure and Applied Logic},
    Keywords = {Graph covering},
    Number = {1},
    Pages = {35 - 62},
    Title = {Monadic second-order logic, graph coverings and unfoldings of transition systems},
    URL = {http://www.sciencedirect.com/science/article/pii/S0168007297000481},
    Volume = {92},
    Year = {1998},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0168007297000481},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S0168-0072(97)00048-1},
    date-added = {2012-05-18 14:11:12 +0200},
    date-modified = {2012-05-18 12:11:12 +0000},
    doi = {10.1016/S0168-0072(97)00048-1}
}

@article{Courcelle199835, Author = {Courcelle, Bruno and Walukiewicz, Igor}, File = {Monadic second-order logic, graph coverings and unfoldings of transition systems - Courcelle, Walukiewicz (0) (0) - a - a - l.pdf}, ISSN = {0168-0072}, Journal = {Annals of Pure and Applied Logic}, Keywords = {Graph covering}, Number = {1}, Pages = {35 - 62}, Title = {Monadic second-order logic, graph coverings and unfoldings of transition systems}, URL = {http://www.sciencedirect.com/science/article/pii/S0168007297000481}, Volume = {92}, Year = {1998}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0168007297000481}, bdsk-url-2 = {http://dx.doi.org/10.1016/S0168-0072(97)00048-1}, date-added = {2012-05-18 14:11:12 +0200}, date-modified = {2012-05-18 12:11:12 +0000}, doi = {10.1016/S0168-0072(97)00048-1} }