TY  - RPRT
TI  - Interpolable Formulas in Equilibrium Logic and Answer Set Programming
AU  - Dov Gabbay
AU  - David Pearce
AU  - Agustín Valverde
PY  - 2014
DO  - 10.1613/jair.3329
UR  - https://arxiv.org/abs/1401.3897
ID  - 1401.3897
ER  -