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

[Martin Sulzmann]

 > 
 > > 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