Andreas Blass Yuri Gurevich Randomizing Reductions of Search Problems. 10-24 1991 conf/fsttcs/1991 FSTTCS db/conf/fsttcs/fsttcs91.html#BlassG91 http://dx.doi.org/10.1007/3-540-54967-6_58