G. Behnke, D. Höller, and S. Biundo, “totSAT - Totally-Ordered Hierarchical Planning Through SAT”, AAAI, vol. 32, no. 1, Apr. 2018.