Behnke, G., and D. Speck. “Symbolic Search for Optimal Total-Order HTN Planning”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 13, May 2021, pp. 11744-5, https://ojs.aaai.org/index.php/AAAI/article/view/17396.