G. Behnke and D. Speck, “Symbolic Search for Optimal Total-Order HTN Planning”, AAAI, vol. 35, no. 13, pp. 11744-11754, May 2021.