Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming.

Rafael Caballero, Mario Rodrguez-Artalejo, Rafael del Vado Vrseda

Browse the full ICLP paper archive.