Michael Hanus, Salvador Lucas. An Evaluation Semantics for Narrowing-Based Functional Logic Languages. Journal of Functional and Logic Programming, 2001(2), 2001.
@article{HanusL01,
title = {An Evaluation Semantics for Narrowing-Based Functional Logic Languages},
author = {Michael Hanus and Salvador Lucas},
year = {2001},
tags = {semantics, rule-based, logic},
researchr = {https://researchr.org/publication/HanusL01},
cites = {0},
citedby = {0},
journal = {Journal of Functional and Logic Programming},
volume = {2001},
number = {2},
}