@misc{indiciae4c0ed7cff81b,
  title = {Interpolation and the Array Property Fragment},
  author = {Jochen Hoenicke and Tanja Schindler},
  year = {2019},
  url = {https://arxiv.org/abs/1904.11381},
  note = {Source identifier: 1904.11381}
}