EasyChair Smart Slide
MASP-Reduce: a proposal for distributed computation of stable models
MASP-Reduce: a proposal for distributed computation of stable models