Behnke, G.; Höller, D.; Biundo, S. TotSAT - Totally-Ordered Hierarchical Planning Through SAT. AAAI 2018, 32.