Seegebarth, B., Müller, F., Schattenberg, B. and Biundo, S. (2012) “Making Hybrid Plans More Clear to Human Users - A Formal Approach for Generating Sound Explanations”, Proceedings of the International Conference on Automated Planning and Scheduling, 22(1), pp. 225-233. doi: 10.1609/icaps.v22i1.13503.