Elementary properties of the class of nondeterministic polynomial time computable functions James P. Jones (1988) Banach Center Publications