Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP.

Islam Elkabani Enrico Pontelli Tran Cao Son Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP. 73-89 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3132&spage=73 2004 conf/iclp/2004 ICLP db/conf/iclp/iclp2004.html#ElkabaniPS04