C
[CM93] Bruno Courcelle and Mohamed Mosbah. Monadic second-order evaluations on tree-decomposable graphs. Theoretical Computer Science 109(1-2):49-82. Elsevier, 1993. 
@article{tcs109(1-2)-CM,
  author =              {Courcelle, Bruno and Mosbah, Mohamed},
  title =               {Monadic second-order evaluations on
                         tree-decomposable graphs},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {109},
  number =              {1-2},
  pages =               {49-82},
  year =                {1993},
  doi =                 {10.1016/0304-3975(93)90064-Z},
}
List of authors