The Smodels System2001-07-170 PRE AI DOI:10.1007/3-540-45402-0_38OriginalOriginal request for helpShareSaveAbstract En