On the interaction between ISA and cardinality constraints

Abstract
No abstract available