(1)
Behnke, G.; Höller, D.; Biundo, S. Bringing Order to Chaos – A Compact Representation of Partial Order in SAT-Based HTN Planning. AAAI 2019, 33, 7520-7529.