Schmidhuber, Juergen (2002) Optimal Ordered Problem Solver. Technical Report UNSPECIFIED