Simplifying Games Using Reasoning Patterns