Your search returned the following 4 documents:

4. Directional Type Checking for Logic Programs: Beyond Discriminative Types
   Witold Charatonik
   In: Proceedings of the 8th European Symposium on Programming (ESOP-00), Berlin, Germany, March, 27 - March, 31, 2000, 72-87
   
3. A Complete Symbolic 0-1 Constraint Solver
   Peter Barth
   In: 3rd Workshop on Constraint Logic Programming (WCLP '93), Marseille, France, 1993, 1993
   
2. Ordering Constraints over Feature Trees
   Martin Müller, Joachim Niehren, and Andreas Podelski
   In: Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97), Linz, Austria, October 29 - November 1, 1997, 549-562
   
1. Set Constraints: a Pearl in Research on Constraints
   Leszek Pacholski and Andreas Podelski
   In: Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97), Linz, Austria, Obctober 29 - November 1, 1997, 549-562