"Joining Abstract and Concrete Computations in Constraint Logic Programming."

Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics