Jonathan F. Buss Judy Goldsmith Nondeterminism Within P. 560-572 1993 22 SIAM J. Comput. 3 db/journals/siamcomp/siamcomp22.html#BussG93 https://doi.org/10.1137/0222038 https://www.wikidata.org/entity/Q60016242