Propositional semantics for disjunctive logic programs1994-03-010 OA AI DOI:10.1007/bf01530761原文链接原文求助分享收藏摘要 En