Stratified Constructive Disjunction and Negation in Constraint Programming | IEEE Conference Publication | IEEE Xplore