Nested preferences in answer set programming
scientific article; zbMATH DE number 6047761