@misc{indiciae34e8bc2df2b4,
  title = {Solving simple stochastic games with few coin toss positions},
  author = {Rasmus Ibsen-Jensen and Peter Bro Miltersen},
  year = {2012},
  url = {https://arxiv.org/abs/1112.5255},
  note = {Source identifier: 1112.5255}
}