Lee, J. H.; Zhong, A. Z. Towards More Practical and Efficient Automatic Dominance Breaking. AAAI 2021, 35, 3868-3876.