@inproceedings{4569758,
    Author = {Courcelle, Bruno},
    BookTitle = {Switching and Automata Theory, 1974., IEEE Conference Record of 15th Annual Symposium on},
    File = {Recursive schemes, algebraic trees and deterministic languages - Courcelle (0) (0) - a - a - x.pdf},
    ISSN = {0272-4847},
    Keywords = {recursive schemes and deterministic pushdown automata},
    Month = {oct.},
    Pages = {52 -62},
    Title = {Recursive schemes, algebraic trees and deterministic languages},
    Year = {1974},
    bdsk-url-1 = {http://dx.doi.org/10.1109/SWAT.1974.23},
    date-added = {2012-10-16 09:25:18 +0000},
    date-modified = {2012-10-26 08:43:35 +0000},
    doi = {10.1109/SWAT.1974.23}
}

@inproceedings{4569758, Author = {Courcelle, Bruno}, BookTitle = {Switching and Automata Theory, 1974., IEEE Conference Record of 15th Annual Symposium on}, File = {Recursive schemes, algebraic trees and deterministic languages - Courcelle (0) (0) - a - a - x.pdf}, ISSN = {0272-4847}, Keywords = {recursive schemes and deterministic pushdown automata}, Month = {oct.}, Pages = {52 -62}, Title = {Recursive schemes, algebraic trees and deterministic languages}, Year = {1974}, bdsk-url-1 = {http://dx.doi.org/10.1109/SWAT.1974.23}, date-added = {2012-10-16 09:25:18 +0000}, date-modified = {2012-10-26 08:43:35 +0000}, doi = {10.1109/SWAT.1974.23} }