A program transformation for tracing functional logic computations (2006)

by B Braßel, S Fischer, F Huch
Venue:In International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2006), LNCS