Semantics and complexity of recursive aggregates in answer set programming
scientific article; zbMATH DE number 5909444
scientific article
Logic Programming and Nonmonotonic Reasoning