"Controlling Search in Funtional Logic Programs."

Michael Hanus, Frank Steiner (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics