Shared aggregate sets in answer set programming