Behnke, G., D. Höller, and S. Biundo. “Bringing Order to Chaos – A Compact Representation of Partial Order in SAT-Based HTN Planning”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 33, no. 01, July 2019, pp. 7520-9, doi:10.1609/aaai.v33i01.33017520.