"Abstract Domains for Reordering CLP(RLin) Programs."

Viswanath Ramachandran, Pascal Van Hentenryck, Agostino Cortesi (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics