J. H. Lee and A. Z. Zhong, “Towards More Practical and Efficient Automatic Dominance Breaking”, AAAI, vol. 35, no. 5, pp. 3868-3876, May 2021.