Association for Symbolic Logic
Journal of Symbolic Logic
Quantum Computing and Advanced System Research

Beigel, R., Buhrman, H., Feijer, P., Fortnow, L., Grabowski, L. R., Longpré, L., Muchnik, A., Stephan, F.& Torenvliet, L. (2006). Enumerations of the Kolmogorov function. Journal of Symbolic Logic, 7(2), 501–528.