Radke, H. HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas. eceasst 2013, 61.