Marek Karpinski, Rutger Verbeek. Randomness, Provability, and the Seperation of Monte Carlo Time and Space. In Egon Börger, editor, Computation Theory and Logic, In Memory of Dieter Rödding. Volume 270 of Lecture Notes in Computer Science, pages 189-207, Springer, 1987.
Abstract is missing.