K. Pantůčková and R. Barták, “Compilation-Based Approaches to Parallel Planning: An Empirical Comparison”, FLAIRS, vol. 34, Apr. 2021.