Luciano Caroprese Irina Trubitsyna Ester Zumpano Implementing Prioritized Reasoning in Logic Programming. 94-100 2007 conf/iceis/2007-2 ICEIS (2) db/conf/iceis/iceis2007-2.html#CaropreseTZ07