...missing answers in constraint functional-logic programming
Rodr´iquez-Artalejo, and R. del Vado-V´irseda. Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. In Proceedings of 9th International Symposium on Functional and Logic Pr