Randomness, Provability, and the Seperation of Monte Carlo Time and Space.

Marek Karpinski Rutger Verbeek Randomness, Provability, and the Seperation of Monte Carlo Time and Space. 189-207 1987 conf/birthday/1987rodding Computation Theory and Logic db/conf/birthday/rodding87.html#KarpinskiV87