Interpolable Formulas in Equilibrium Logic and Answer Set Programming

Open in new window