Probabilistic machines, oracles, and quantifiers
1985 ◽
pp. 159-192
◽