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

Computations with a Restricted Number of Nondeterministic Steps (Extended Abstract) Chandra M. R. Kintala Patrick C. Fischer 178-185 conf/stoc/STOC9 1977 STOC db/conf/stoc/stoc77.html#KintalaF77 http://doi.acm.org/10.1145/800105.803407