Extending constructive negation for partial functions in lazy functional-logic languages | Publicación