Stratified Constructive Disjunction and Negation in Constraint Programming

Stratified Constructive Disjunction and Negation in Constraint Programming

Authors
A. Gotlieb, D. Marijan and H. Spieker