"A Program Transformation for Tracing Functional Logic Computations."

Bernd Brassel, Sebastian Fischer, Frank Huch (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics