Radke, Hendrik. 2013. “HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas”. Electronic Communications of the EASST 61 (June). https://doi.org/10.14279/tuj.eceasst.61.831.