S. Eriksson, G. Röger, and M. Helmert, “A Proof System for Unsolvable Planning Tasks”, ICAPS, vol. 28, no. 1, pp. 65-73, Jun. 2018.