Hendrik Radke
HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas
GCM, 2013.
@article{GCM-J-2012-Radke, author = "Hendrik Radke", ee = "http://journal.ub.tu-berlin.de/eceasst/article/view/831", journal = "{Electronic Communications of the EASST}", title = "{HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas}", volume = 61, year = 2013, }