"Redundancy of Variables in CLP (R)."

Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics