Using Inductive Counting to Simulate Nondeterministic Computation Gerhard Buntrock Lane A. Hemachandra Dirk Siefkes 102-117 Inf. Comput. January 1993 102 1 db/journals/iandc/iandc102.html#BuntrockHS93