Computations with a Restricted Number of Nondeterministic Steps (Extended Abstract)

Chandra M. R. KintalaPatrick C. Fischer
Published in: STOC (1977)