"The lazy functional side of logic programming."

Sandro Etalle, Jon Mountjoy (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics