Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness

Open in new window