@InProceedings{AehligMirandaOng04,
  author =       {Aehlig, Klaus and Miranda, Jolie G de and Ong, C H Luke},
  title =        {The Monadic Second Order Theory of Trees Given by
                  Arbitrary Level-Two Recursion Schemes Is Decidable},
  booktitle =    {Proceedings of the 7th International Conference on
                  Typed Lambda Calculi and Applications (TLCA '05)},
  crossref =     {TLCA2005},
  pages =        {39--54}
}


@Proceedings{TLCA2005,
  title =    {Proceedings of the 7th International Conference on
                  Typed Lambda Calculi and Applications (TLCA '05)},
  month =        apr,
  year =         2005,
  editor =       {Pawel Urzyczyn},
  volume =       3461,
  series =       "Lecture Notes in Computer Science",
  publisher =    "Springer-Verlag"
}