Gregory, P.; Long, D.; McNulty, C.; Murphy, S. Exploiting Path Refinement Abstraction in Domain Transition Graphs. AAAI 2011, 25, 971-976.