@article{GH09-LMCS,
 author = {Hugo Gimbert and Florian Horn},
 title = {{Solving Simple Stochastic Games with Few Random Vertices}},
 journal = {Logical Methods in Computer Science},
 volume = 5,
 number = 2,
 note = {Paper {\#}9},
 publisher = {International Federation for Computational Logic},
 year =	2009,
}