C. Backstrom and P. Jonsson, “All PSPACE-Complete Planning Problems Are Equal but Some Are More Equal than Others”, SOCS, vol. 2, no. 1, pp. 10–17, Aug. 2021.