@misc{indiciaee5af41975178,
  title = {Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic},
  author = {Guido Fiorino},
  year = {2021},
  url = {https://arxiv.org/abs/2103.03377},
  note = {Source identifier: 2103.03377}
}