Stem credul$ (all stems)
1 papers:
KR-1991-GabbayLV #logic programming #order #semantics #source code- Credulous vs. Sceptical Semantics for Ordered Logic Programs (DMG, EL, DV), pp. 208–217.
KR-1991-GabbayLV #logic programming #order #semantics #source code