A Procedural Semantics for Disjunctive Closed World Assumption

• 析取封闭世界假设的一种过程语义