"Some Global Compile-Time Optimizations for CLP(R)."

Niels Jørgensen, Kim Marriott, Spiro Michaylov (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics