Seegebarth, Bastian, et al. “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.