@InProceedings{Klaedtke_Ruess:monadic_logics_cardinalities,
  author =       {Felix Klaedtke and Harald Rue{\ss}},
  title =        {Monadic Second-Order Logics with Cardinalities},
  booktitle =    {Proceedings of the 30th International Colloquium
                  on Automata, Languages, and Programming (ICALP 2003)},
  pages =        {681--696},
  year =         {2003},
  volume =       {2719},
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
}