Loading paper
A symmetric recursive algorithm for mean-payoff games | Tomesphere