@inproceedings{Aehlig:2005:MSO:2155836.2155843,
    Address = {Berlin, Heidelberg},
    Author = {Aehlig, Klaus and de Miranda, Jolie G. and Ong, C.-H. Luke},
    BookTitle = {Proceedings of the 7th International Conference on Typed Lambda Calculi and Applications},
    File = {The Monadic Second Order Theory of Trees Given by Arbitrary Level-two Recursion Schemes is Decidable - Aehlig, Miranda, Ong (0) (0) - a - a - h.pdf},
    ISBN = {3-540-25593-1, 978-3-540-25593-2},
    Location = {Nara, Japan},
    Pages = {39--54},
    Publisher = {Springer-Verlag},
    Series = {TLCA'05},
    Title = {The Monadic Second Order Theory of Trees Given by Arbitrary Level-two Recursion Schemes is Decidable},
    URL = {http://dx.doi.org/10.1007/11417170\_5},
    Year = {2005},
    acmid = {2155843},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11417170\_5},
    date-added = {2013-12-10 14:41:06 +0000},
    date-modified = {2013-12-10 14:41:06 +0000},
    numpages = {16},
    doi = {10.1007/11417170_5}
}

@inproceedings{Aehlig:2005:MSO:2155836.2155843, Address = {Berlin, Heidelberg}, Author = {Aehlig, Klaus and de Miranda, Jolie G. and Ong, C.-H. Luke}, BookTitle = {Proceedings of the 7th International Conference on Typed Lambda Calculi and Applications}, File = {The Monadic Second Order Theory of Trees Given by Arbitrary Level-two Recursion Schemes is Decidable - Aehlig, Miranda, Ong (0) (0) - a - a - h.pdf}, ISBN = {3-540-25593-1, 978-3-540-25593-2}, Location = {Nara, Japan}, Pages = {39--54}, Publisher = {Springer-Verlag}, Series = {TLCA'05}, Title = {The Monadic Second Order Theory of Trees Given by Arbitrary Level-two Recursion Schemes is Decidable}, URL = {http://dx.doi.org/10.1007/11417170_5}, Year = {2005}, acmid = {2155843}, bdsk-url-1 = {http://dx.doi.org/10.1007/11417170_5}, date-added = {2013-12-10 14:41:06 +0000}, date-modified = {2013-12-10 14:41:06 +0000}, numpages = {16}, doi = {10.1007/11417170_5} }