TY - JOUR A1 - Grell, Susanne A1 - Konczak, Kathrin A1 - Schaub, Torsten T1 - nomore) : a system for computing preferred Answer Sets Y1 - 2005 UR - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/13274 SN - 0302-9743 ER -