@article{Szeider11,
 author = {Stefan Szeider},
 doi = {10.1145/1877714.1877718},
 journal = {ACM Transactions on Computational Logic},
 number = {2},
 pages = {article 12},
 title = {Monadic Second Order Logic on Graphs 
with Local Cardinality   Constraints},
 volume = {12},
 year = {2011}
}