The complexity of probabilistic verification (1995)

by C Courcoubetis, M Yannakakis
Venue:J. ACM