Vachon, JulieBuchs, Didier2005-09-202005-09-202005-09-201999https://infoscience.epfl.ch/handle/20.500.14299/216912ConformTowards a Complete Semantics with Negation Rules for CO-OPN/2text::report