Re: relaxed instance rules spec (was: the MPTC Dilemma (pleasesolve))

...

FYI, in a technical report version of the FD paper, we already address such issues, briefly.

where would I find that report?

http://www.comp.nus.edu.sg/~sulzmann/chr/download/fd-chr.ps.gz See Section 5 and Appendix E. Martin