Winning Strategy Tree Construction for BDD-Based ATL Model Checkers. - Wonhong Nam; Haejin Yang; Hyunyoung Kil (Int. J. Softw. Eng. Knowl. Eng., 2020)