Co-definite Set Constraints with Membership Expressions.

Philippe Devienne, Jean-Marc Talbot, Sophie Tison

Browse the full ICLP paper archive.