TY  - RPRT
TI  - A Proof Theoretic Approach to Failure in Functional Logic Programming
AU  - Francisco Javier Lopez-Fraguas
AU  - Jaime Sanchez-Hernandez
PY  - 2004
UR  - https://arxiv.org/abs/cs/0405102
ID  - cs/0405102
ER  -