A program transformation for tracing functional logic computations (2006)

by B Braßel, S Fischer, F Huch
Venue:Universita