Strong Equivalence in Answer Set Programming with Constraints

Open in new window