Henzinger, Thomas A., et al. “Abstract Interpretation of Game Properties.”10.1007/978-3-540-45099-3_12__Proceedings of the 7th International Symposium on Static Analysis, vol. 1824, Springer, 2000, pp. 220–39, doi:10.1007/978-3-540-45099-3_12.
LibreCat: https://research-explorer.ista.ac.at/record/4482
DOI: 10.1007/978-3-540-45099-3_12