Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

Open in new window