(1)
L. Kaizer, W.; G. Pereira, A.; Ritt, M. Sequencing Operator Counts With State-Space Search. ICAPS 2020, 30, 166-174.