Co-definite Set Constraints with Membership Expressions.

Philippe Devienne Jean-Marc Talbot Sophie Tison Co-definite Set Constraints with Membership Expressions. 25-39 1998 IJCSLP db/conf/iclp/iclp98.html#DevienneTT98