A. Coles, A. Coles, M. Fox, and D. Long, “Extending the Use of Inference in Temporal Planning as Forwards Search”, ICAPS, vol. 19, no. 1, pp. 66-73, Oct. 2009.