"Declarative Compilation for Constraint Logic Programming."

Emilio Jesús Gallego Arias, James Lipton, Julio Mariño-Carballo (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics