G. Behnke, D. Höller, A. Schmid, P. Bercher, and S. Biundo, “On Succinct Groundings of HTN Planning Problems”, AAAI, vol. 34, no. 06, pp. 9775-9784, Apr. 2020.