Declarative diagnosis of missing answers in constraint functional-logic programming | Publicación