A nondeterministic Turing machine variant to compute functions. - João Guilherme Fritsche Colombo; Jerusa Marchi (Theor. Comput. Sci., 2022)