Return to Article Details HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas Download Download PDF