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