Smodels with CLP?A Treatment of Aggregates in ASP.

Enrico Pontelli, Tran Cao Son, Islam Elkabani

Browse the full LPNMR paper archive.