Publication

Towards a Complete Semantics with Negation Rules for CO-OPN/2