@comment{{This file has been generated by bib2bib 1.96}}

@comment{{Command line: /usr/bin/bib2bib -c '$key="CourcelleKnapik02tcs" or $key="Courcelle:tcs94" or $key="Courcelle:HB97" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{tcs = {Theoretical Computer Science}}

@article{Courcelle:tcs94,
  author = {Bruno Courcelle},
  title = {Monadic-Second Order Graph Transductions: A Survey},
  journal = tcs,
  volume = 126,
  year = 1994,
  pages = {53--75}
}

@incollection{Courcelle:HB97,
  author = {Bruno Courcelle},
  title = {The Expression Of Graph Properties And Graph Transformations
			 In Monadic Second-Order Logic},
  chapter = 5,
  booktitle = {Handbook of graph  grammars and computing by
			graph transformations, vol.~1: Foundations},
  editor = {G. Rozenberg},
  publisher = {World Scientific},
  address = {New-Jersey, London},
  year = 1997,
  pages = {313--400}
}

@article{CourcelleKnapik02tcs,
  author = {Bruno Courcelle and Teodor Knapik},
  title = {The evaluation of first-order substitution is monadic
                   second-order compatible},
  journal = tcs,
  volume = 281,
  number = {1--2},
  pages = {177--206},
  year = 2002,
  month = jun
}