Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs.

Rafael Caballero, Francisco Javier Lpez-Fraguas, Mario Rodrguez-Artalejo

Browse the full FLOPS paper archive.