BibTex format
@inproceedings{Darlington:1989:10.1109/TENCON.1989.176919,
author = {Darlington, J and Guo, Y},
doi = {10.1109/TENCON.1989.176919},
pages = {162--168--162--168},
title = {The unification of functional and logic languages-towards constraint functional programming},
url = {http://dx.doi.org/10.1109/TENCON.1989.176919},
year = {1989}
}
RIS format (EndNote, RefMan)
TY - CPAPER
AU - Darlington,J
AU - Guo,Y
DO - 10.1109/TENCON.1989.176919
EP - 168
PY - 1989///
SP - 162
TI - The unification of functional and logic languages-towards constraint functional programming
UR - http://dx.doi.org/10.1109/TENCON.1989.176919
ER -