DDT: a Declarative Debugging Tool for Functional-Logic Languages.

Rafael Caballero, Mario Rodrguez-Artalejo

Browse the full FLOPS paper archive.