Look-back techniques for ASP programs with aggregates
scientific article; zbMATH DE number 6052761