José Miguel Cleva, Francisco Javier López-Fraguas. Semantic Determinism and Functional Logic Program Properties. Electronic Notes in Theoretical Computer Science, 174(1):3-15, 2007. [doi]
@article{ClevaL07, title = {Semantic Determinism and Functional Logic Program Properties}, author = {José Miguel Cleva and Francisco Javier López-Fraguas}, year = {2007}, doi = {10.1016/j.entcs.2006.10.018}, url = {http://dx.doi.org/10.1016/j.entcs.2006.10.018}, tags = {functional programming, logic programming, logic}, researchr = {https://researchr.org/publication/ClevaL07}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {174}, number = {1}, pages = {3-15}, }