Stratified Constructive Disjunction and Negation in Constraint Programming.

Arnaud Gotlieb, Dusica Marijan, Helge Spieker

Browse the full ICTAI paper archive.