G. Behnke, D. Höller, and S. Biundo, “Bringing Order to Chaos – A Compact Representation of Partial Order in SAT-Based HTN Planning”, AAAI, vol. 33, no. 01, pp. 7520-7529, Jul. 2019.