Andrew D. Macdonald Peter J. Stuckey Roland H. C. Yap Redundancy of Variables in CLP (R). 75-93 1993 ILPS db/conf/slp/slp93.html#MacdonaldSY93