@inproceedings{Szeider08,
 author = {Stefan Szeider},
 booktitle = {Mathematical Foundations of Computer Science 2008, 33rd
International Symposium, MFCS 2008, Torun, Poland, August
25-29, 2008, Proceedings},
 pages = {601-612},
 publisher = {Springer Verlag},
 series = {Lecture Notes in Computer Science},
 title = {Monadic Second Order Logic on Graphs with Local Cardinality
Constraints},
 volume = {5162},
 year = {2008}
}