Hutter, Marcus (2000) The Fastest and Shortest Algorithm for All Well-Defined Problems. Technical Report UNSPECIFIED