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