Bruno Courcelle. On the Expression of Graph Properties in some Fragments of Monadic Second-Order Logic. In Neil Immerman, Phokion G. Kolaitis, editors, Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop, January 14-17, 1996, Princeton University. Volume 31 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 33-62, American Mathematical Society, 1996.
Abstract is missing.