S. Eriksson and M. Helmert, “Certified Unsolvability for SAT Planning with Property Directed Reachability”, ICAPS, vol. 30, no. 1, pp. 90-100, Jun. 2020.