Dov M. Gabbay Els Laenens Dirk Vermeir Credulous vs. Sceptical Semantics for Ordered Logic Programs. 208-217 1991 KR db/conf/kr/kr91.html#GabbayLV91