Richard Beigel Harry Buhrman Peter A. Fejer Lance Fortnow Piotr Grabowski Luc Longpré Andrei A. Muchnik Frank Stephan Leen Torenvliet Enumerations of the Kolmogorov Function Electronic Colloquium on Computational Complexity (ECCC) 2004 015 db/journals/eccc/eccc11.html#ECCC-TR04-015 http://eccc.hpi-web.de/eccc-reports/2004/TR04-015/index.html