Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms

Open in new window