Distinguishing tests for nondeterministic and probabilistic machines (1995)

by R Alur, C Courcoubetis, M Yannakakis
Venue:In 27th ACM Symposium on Theory of Computing