Program-size complexity of initial segments and domination relation reducibility (1999)

by C S Calude, R J Coles