Eriksson, Salomé, Gabriele Röger, and Malte Helmert. 2018. “A Proof System for Unsolvable Planning Tasks”. Proceedings of the International Conference on Automated Planning and Scheduling 28 (1):65-73. https://doi.org/10.1609/icaps.v28i1.13899.