Yann Loyer Umberto Straccia The Well-Founded Semantics in Normal Logic Programs with Uncertainty. 152-166 2002 conf/flops/2002 FLOPS http://link.springer.de/link/service/series/0558/bibs/2441/24410152.htm db/conf/flops/flops2002.html#LoyerS02