DOI,IST REx ID,Research Group,Title of publication
10.4204/EPTCS.54.6,3349,KrCh,A reduction from parity games to simple stochastic games