Mean-Payoff Games and Propositional Proofs | Publicación