Return to Article Details Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms Download Download PDF