Eriksson, S. and Helmert, M. (2020) “Certified Unsolvability for SAT Planning with Property Directed Reachability”, Proceedings of the International Conference on Automated Planning and Scheduling, 30(1), pp. 90-100. doi: 10.1609/icaps.v30i1.6649.