@incollection{Barmpalias2018LimitsKuceraGacs,
  author    = {G. Barmpalias and A. Lewis-Pye},
  title     = {Limits of the Kucera--Gacs coding method},
  booktitle = {South Eastern Logic Symp. in Logic},
  publisher = {World Sci.},
  year      = {2018},
}