@misc{indiciaec038ad3e93b0,
  title = {Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case},
  author = {Dov Gabbay and David Pearce and Agustí n Valverde},
  year = {2010},
  url = {https://arxiv.org/abs/1012.3947},
  note = {Source identifier: 1012.3947}
}