Gregory, Peter, Derek Long, Craig McNulty, and Susan Murphy. 2011. “Exploiting Path Refinement Abstraction in Domain Transition Graphs”. Proceedings of the AAAI Conference on Artificial Intelligence 25 (1):971-76. https://doi.org/10.1609/aaai.v25i1.8012.