Co-definite set constraints (1998)

by Witold Charatonik, Andreas Podelski
Venue:In Lecture Notes in Computer Science