@inproceedings{Barmpalias2012ResoluteSetsInitial,
  year      = 2013,
  publisher = {World Sci.},
  author    = {G. Barmpalias and R. G. Downey},
  title     = {Resolute sequences in initial segment complexity},
  booktitle = {Proc. 12th Asian Logic Conf.},
}