@article{Barmpalias2023GacsKuceraS,
  author  = {G. Barmpalias and A. Shen},
  title   = {Gacs--Kucera's Theorem Revisited by Levin},
  journal = {Theor. Comput. Sci.},
  volume  = {947},
  year    = {2023},
}