(1)
Behnke, G. Block Compression and Invariant Pruning for SAT-Based Totally-Ordered HTN Planning. ICAPS 2021, 31, 25-35.