@misc{indiciaef4e14d9c557a,
  title = {An interpolant in predicate Gödel logic},
  author = {Matthias Baaz and Mai Gehrke and Sam van Gool},
  year = {2019},
  url = {https://arxiv.org/abs/1803.03003},
  note = {Source identifier: 1803.03003}
}