> ... read the JFP journal submission that Martin Sulzmann and Peter > Stuckey and I have been working on. > http://research.microsoft.com/%7Esimonpj/papers/fd-chr Has this list discussed using CHRs instead of fundeps? Jim