@misc{indiciaec2917e538098,
  title = {On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains},
  author = {Federico Aschieri},
  year = {2018},
  doi = {10.4204/eptcs.281.1},
  url = {https://arxiv.org/abs/1803.07313},
  note = {Source identifier: 1803.07313}
}