1. C. Bessiere, P. Meseguer, E.C. Freuder, and J. Larrosa. On forward checking for non-binary constraint satisfaction. In Proc. of CP’99, pages 88–102, Alexandra, VA, 1999.
2. Y. Caseau. Abstract interpretation of constraints on order-sorted domains. In Proc. of the International Symposium on Logic Programming, pages 435–452, 1991.
3. B. Choueiry, B. Faltings, and G. Noubi. Abstraction methods for resource allocation. In Proc. of the Workshop on theory Reformulation and Abstraction, Jackson Hole, Wyoming, 1994.
4. B. Choueiry, B. Faltings, and R. Weigel. Abstraction by interchangeability in resource allocation. In Proc. of IJCAI’95, pages 1694–1710, Montréal, Canada, 1995.
5. B. Choueiry and G. Noubir. On the computation of local interchangeability in discrete constraint satisfaction problems. In Proc. of AAAI’98, pages 326–333, Madison, WI, 1998.