(1)
Davies, T.; Pearce, A.; Stuckey, P.; Lipovetzky, N. Sequencing Operator Counts. ICAPS 2015, 25, 61-69.