Behnke, G.; Speck, D. Symbolic Search for Optimal Total-Order HTN Planning. AAAI 2021, 35, 11744-11754.