Eriksson, S.; Röger, G.; Helmert, M. A Proof System for Unsolvable Planning Tasks. ICAPS 2018, 28, 65-73.