Yann Loyer Umberto Straccia Epistemic foundation of stable model semantics. 355-393 2006 6 TPLP 4 http://dx.doi.org/10.1017/S1471068405002619 db/journals/tplp/tplp6.html#LoyerS06