@article{Courcelle:2002:EFS:570606.570615,
    Address = {Essex, UK},
    Author = {Courcelle, Bruno and Knapik, Teodor},
    File = {The Evaluation of First-order Substitution is Monadic Second-order Compatible - Courcelle, Knapix (0) (0) - a - a - q.pdf},
    ISSN = {0304-3975},
    Journal = {Theor. Comput. Sci.},
    Keywords = {algebraic tree, decidability of logical theories, first-order substitution, hyperalgebraic tree, monadic second-order logic},
    Month = {June},
    Number = {1-2},
    Pages = {177--206},
    Publisher = {Elsevier Science Publishers Ltd.},
    Title = {The Evaluation of First-order Substitution is Monadic Second-order Compatible},
    URL = {http://dx.doi.org/10.1016/S0304-3975(02)00012-9},
    Volume = {281},
    Year = {2002},
    acmid = {570615},
    bdsk-url-1 = {http://dx.doi.org/10.1016/S0304-3975(02)00012-9},
    date-added = {2013-11-15 12:45:40 +0000},
    date-modified = {2013-12-14 16:55:58 +0000},
    issue_date = {June 3 2002},
    numpages = {30},
    doi = {10.1016/S0304-3975(02)00012-9}
}

@article{Courcelle:2002:EFS:570606.570615, Address = {Essex, UK}, Author = {Courcelle, Bruno and Knapik, Teodor}, File = {The Evaluation of First-order Substitution is Monadic Second-order Compatible - Courcelle, Knapix (0) (0) - a - a - q.pdf}, ISSN = {0304-3975}, Journal = {Theor. Comput. Sci.}, Keywords = {algebraic tree, decidability of logical theories, first-order substitution, hyperalgebraic tree, monadic second-order logic}, Month = {June}, Number = {1-2}, Pages = {177--206}, Publisher = {Elsevier Science Publishers Ltd.}, Title = {The Evaluation of First-order Substitution is Monadic Second-order Compatible}, URL = {http://dx.doi.org/10.1016/S0304-3975(02)00012-9}, Volume = {281}, Year = {2002}, acmid = {570615}, bdsk-url-1 = {http://dx.doi.org/10.1016/S0304-3975(02)00012-9}, date-added = {2013-11-15 12:45:40 +0000}, date-modified = {2013-12-14 16:55:58 +0000}, issue_date = {June 3 2002}, numpages = {30}, doi = {10.1016/S0304-3975(02)00012-9} }