EasyChair Smart Slide
Shared aggregate sets in answer set programming
Shared aggregate sets in answer set programming