Exploiting Path Refinement Abstraction in Domain Transition Graphs. - Peter Gregory; Derek Long; Craig McNulty; Susan M. Murphy (AAAI, 2011)