D. Schreiber, D. Pellier, H. Fiorino, and T. Balyoˇ, “Tree-REX: SAT-Based Tree Exploration for Efficient and High-Quality HTN Planning”, ICAPS, vol. 29, no. 1, pp. 382-390, May 2021.