Avni G, Guha S, Kupferman O. 2018. An abstraction-refinement methodology for reasoning about network games. Games. 9(3), 39.
LibreCat: https://research-explorer.ista.ac.at/record/6006
DOI: 10.3390/g9030039