W. L. Kaizer, A. G. Pereira, and M. Ritt, “Sequencing Operator Counts with State-Space Search”, ICAPS, vol. 30, no. 1, pp. 166-174, Jun. 2020.