A Randomized Subexponential Algorithm for Parity Games. - Viktor Petersson; Sergei G. Vorobyov (Nord. J. Comput., 2001)