Seegebarth, Bastian, Felix Müller, Bernd Schattenberg, and Susanne Biundo. 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):225-33. https://doi.org/10.1609/icaps.v22i1.13503.