Program-Size Complexity of Initial Segments and Domination Reducibility. - Cristian Calude; Richard J. Coles (Jewels are Forever, 1999)