A Program Transformation for Tracing Functional Logic Computations.

Bernd Brassel, Sebastian Fischer, Frank Huch

Browse the full LOPSTR paper archive.