Suda, M. (2014) “Property Directed Reachability for Automated Planning”, Proceedings of the International Conference on Automated Planning and Scheduling, 24(1), pp. 540–541. doi: 10.1609/icaps.v24i1.13655.