@inproceedings{DBLP:conf/dimacs/Courcelle96,
  author    = {Bruno Courcelle},
  title     = {On the Expression of Graph Properties in some Fragments
               of Monadic Second-Order Logic},
  booktitle = {Descriptive Complexity and Finite Models},
  year      = {1996},
  pages     = {33-62},
  crossref  = {DBLP:conf/dimacs/1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dimacs/1996,
  editor    = {Neil Immerman and
               Phokion G. Kolaitis},
  title     = {Descriptive Complexity and Finite Models, Proceedings of
               a DIMACS Workshop, January 14-17, 1996, Princeton University},
  booktitle = {Descriptive Complexity and Finite Models},
  publisher = {American Mathematical Society},
  series    = {DIMACS Series in Discrete Mathematics and Theoretical Computer
               Science},
  volume    = {31},
  year      = {1996},
  isbn      = {0-8218-0517-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}