Seegebarth, B., F. Müller, B. Schattenberg, and S. Biundo. “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, vol. 22, no. 1, May 2012, pp. 225-33, doi:10.1609/icaps.v22i1.13503.