@misc{indiciae0f4a32563b82,
  title = {Interpolable Formulas in Equilibrium Logic and Answer Set Programming},
  author = {Dov Gabbay and David Pearce and Agustín Valverde},
  year = {2014},
  doi = {10.1613/jair.3329},
  url = {https://arxiv.org/abs/1401.3897},
  note = {Source identifier: 1401.3897}
}