Mean-payoff games and propositional proofs | Publicación