@article{journals/corr/abs-1012-3947,
  added-at = {2012-10-10T00:00:00.000+0200},
  author = {Gabbay, Dov M. and Pearce, David and Valverde, Agustín},
  biburl = {http://www.bibsonomy.org/bibtex/2de002471b26e231f7ad94847ccfd21e8/dblp},
  ee = {http://arxiv.org/abs/1012.3947},
  interhash = {01fb6ef2957293fb988dc832e79c2fb1},
  intrahash = {de002471b26e231f7ad94847ccfd21e8},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2012-10-10T00:00:00.000+0200},
  title = {Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1012.html#abs-1012-3947},
  volume = {abs/1012.3947},
  year = 2010
}