by Stefan Szeider
Reference:
Monadic Second Order Logic on Graphs with Local Cardinality ConstraintsStefan SzeiderMathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings, volume 5162 of Lecture Notes in Computer Science, pages 601-612, 2008, Springer Verlag.
Bibtex Entry:
@string{springer="Springer Verlag"}
@string{lncs="Lecture Notes in Computer Science"}
@InProceedings{Szeider08,
author = {Stefan Szeider},
title = {Monadic Second Order Logic on Graphs with Local Cardinality
Constraints},
booktitle = {Mathematical Foundations of Computer Science 2008, 33rd
International Symposium, MFCS 2008, Torun, Poland, August
25-29, 2008, Proceedings},
publisher = Springer,
series = LNCS,
volume = {5162},
pages = {601-612},
year = {2008},
}