Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case

Open in new window