Strong Equivalence of Logic Programs with Abstract Constraint Atoms
scientific article; zbMATH DE number 5899992