@misc{indiciae963eef48671a,
  title = {Relative Unification in Intuitionistic Logic: Towards provability logic of HA},
  author = {Mojtaba Mojtahedi},
  year = {2025},
  url = {https://arxiv.org/abs/2206.00446},
  note = {Source identifier: 2206.00446}
}