"Co-definite Set Constraints."

Witold Charatonik, Andreas Podelski (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics