Tiago Royer and Jerusa Marchi. 2016.
 Blum axioms and nondeterministic computation of functions. In <em>Anais do XXXV Concurso de Trabalhos de Iniciação Científica da SBC</em>, julho 04, 2016, Porto Alegre, Brasil. SBC, Porto Alegre, Brasil, 1-10.