@inproceedings{LOPSTR-2006-BrasselFH,
author = "Bernd Braßel and Sebastian Fischer and Frank Huch",
booktitle = "{Revised Selected Papers of the 16th International Symposium on Logic-Based Program Synthesis and Transformation}",
doi = "10.1007/978-3-540-71410-1_12",
isbn = "978-3-540-71409-5",
pages = "160--176",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{A Program Transformation for Tracing Functional Logic Computations}",
volume = 4407,
year = 2006,
}
Tags: