Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages

Functional Logic Programming with Failure: A Set-Oriented View

LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming

Narrowing Failure in Functional Logic Programming

FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming

Proving Failure in Functional Logic Programs

CL '00 Proceedings of the First International Conference on Computational Logic

A proof theoretic approach to failure in functional logic programming

Theory and Practice of Logic Programming

Demand analysis with partial predicates

Theory and Practice of Logic Programming

Implementing type-based constructive negation

Proceedings of the 2007 ACM symposium on Applied computing