@article{Caucal:2003:ITG:637989.637992,
    Address = {Essex, UK},
    Author = {Caucal, Didier},
    File = {On infinite transition graphs having a decidable monadic theory - Caucal (0) (1) - a - a - c.pdf},
    ISSN = {0304-3975},
    Journal = {Theor. Comput. Sci.},
    Keywords = {MSO},
    Month = {January},
    Number = {1},
    Pages = {79--115},
    Publisher = {Elsevier Science Publishers Ltd.},
    Title = {On infinite transition graphs having a decidable monadic theory},
    URL = {http://dx.doi.org/10.1016/S0304-3975(01)00089-5},
    Volume = {290},
    Year = {2003},
    acmid = {637992},
    bdsk-url-1 = {http://dx.doi.org/10.1016/S0304-3975(01)00089-5},
    date-added = {2012-04-27 15:03:11 +0200},
    date-modified = {2012-05-18 09:26:25 +0000},
    file-2 = {On infinite transition graphs having a decidable monadic theory - Caucal (1) (0) - a - a - c.pdf},
    issue_date = {1 January 2003},
    numpages = {37},
    doi = {10.1016/S0304-3975(01)00089-5}
}

@article{Caucal:2003:ITG:637989.637992, Address = {Essex, UK}, Author = {Caucal, Didier}, File = {On infinite transition graphs having a decidable monadic theory - Caucal (0) (1) - a - a - c.pdf}, ISSN = {0304-3975}, Journal = {Theor. Comput. Sci.}, Keywords = {MSO}, Month = {January}, Number = {1}, Pages = {79--115}, Publisher = {Elsevier Science Publishers Ltd.}, Title = {On infinite transition graphs having a decidable monadic theory}, URL = {http://dx.doi.org/10.1016/S0304-3975(01)00089-5}, Volume = {290}, Year = {2003}, acmid = {637992}, bdsk-url-1 = {http://dx.doi.org/10.1016/S0304-3975(01)00089-5}, date-added = {2012-04-27 15:03:11 +0200}, date-modified = {2012-05-18 09:26:25 +0000}, file-2 = {On infinite transition graphs having a decidable monadic theory - Caucal (1) (0) - a - a - c.pdf}, issue_date = {1 January 2003}, numpages = {37}, doi = {10.1016/S0304-3975(01)00089-5} }