@misc{indiciae0276694e2a12,
  title = {Introduction to clarithmetic II},
  author = {Giorgi Japaridze},
  year = {2013},
  doi = {10.1016/j.ic.2016.02.002},
  url = {https://arxiv.org/abs/1004.3236},
  note = {Source identifier: 1004.3236}
}