M. Suda, “Property Directed Reachability for Automated Planning”, ICAPS, vol. 24, no. 1, pp. 540–541, May 2014.