%0 Journal Article %1 journals/tplp/Lopez-FraguasS04 %A López-Fraguas, Francisco Javier %A Sánchez-Hernández, Jaime %D 2004 %J TPLP %K dblp %N 1-2 %P 41-74 %T A Proof Theoretic Approach to Failure in Functional Logic Programming. %U http://dblp.uni-trier.de/db/journals/tplp/tplp4.html#Lopez-FraguasS04 %V 4

@article{journals/tplp/Lopez-FraguasS04, added-at = {2011-06-10T00:00:00.000+0200}, author = {López-Fraguas, Francisco Javier and Sánchez-Hernández, Jaime}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20259c7f49090817c557b27b0aa92a340/dblp}, ee = {http://dx.doi.org/10.1017/S1471068403001728}, interhash = {daf76d8c2b349cc1e9cae636173696e6}, intrahash = {0259c7f49090817c557b27b0aa92a340}, journal = {TPLP}, keywords = {dblp}, number = {1-2}, pages = {41-74}, timestamp = {2016-02-02T09:35:55.000+0100}, title = {A Proof Theoretic Approach to Failure in Functional Logic Programming.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp4.html#Lopez-FraguasS04}, volume = 4, year = 2004 }