[1]
P. Gregory, D. Long, C. McNulty, and S. Murphy, “Exploiting Path Refinement Abstraction in Domain Transition Graphs”, AAAI, vol. 25, no. 1, pp. 971-976, Aug. 2011.