Distinguishing tests for nondeterministic and probabilistic machines (1995)

by R Alur, C Courcoubetis, M Yannakakis
Venue:In STOC ’95: Proceedings of the twenty-seventh annual ACM symposium on Theory of computing