@article{FujKoh:18,
  author = {Makoto Fujiwara and Ulrich Kohlenbach},
  year = 2018,
  volume = {83},
  pages = {991-1012},
  title = {Interrelation between weak fragments of double negation shift and
           related principles},
  journal = {Journal of Symbolic Logic},
}