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