Monadic Second Order Logic on Graphs with Local Cardinality Constraints (bibtex)
by
Reference:
Monadic Second Order Logic on Graphs with Local Cardinality ConstraintsStefan SzeiderACM Transactions on Computational Logic, volume 12, number 2, pages article 12, 2011.
Bibtex Entry:
@string{acmtcl="ACM Transactions on Computational Logic"}
@article{Szeider11,
author = 	 {Stefan Szeider},
title = 	 {Monadic Second Order Logic on Graphs
with Local Cardinality   Constraints},
journal    =   ACMTCL,
year = 	 {2011},
volume = 	 {12},
number = 	 {2},
pages = 	 {article 12},
doi = {10.1145/1877714.1877718},
}