Viswanath Ramachandran Pascal Van Hentenryck Agostino Cortesi Abstract Domains for Reordering CLP(R<sub>Lin</sub>) Programs. 217-256 2000 42 J. Log. Program. 3 db/journals/jlp/jlp42.html#RamachandranHC00