@misc{indiciaee5a6f0165e6f,
  title = {On the free Heyting algebra extension of a Hilbert algebra},
  author = {J. L. Castiglioni and H. J. San Martín},
  year = {2017},
  url = {https://arxiv.org/abs/1705.03856},
  note = {Source identifier: 1705.03856}
}