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