Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs (2001)

by R Caballero-Roldán, F J López-Fraguas, M Rodríquez Artalejo
Venue:In Fifth International Symposium on Functional and Logic Programming, volume 2024 of LNCS