[1]
G. Behnke, “Block Compression and Invariant Pruning for SAT-based Totally-Ordered HTN Planning”, ICAPS, vol. 31, no. 1, pp. 25-35, May 2021.