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.