BibTex format
@article{Darlington:1989,
author = {Darlington, J and Guo, YK},
journal = {Rewriting Techniques and Applications},
pages = {92--108},
title = {Narrowing and unification in functional programmingan evaluation mechanism for absolute set abstraction},
year = {1989}
}
RIS format (EndNote, RefMan)
TY - JOUR
AU - Darlington,J
AU - Guo,YK
EP - 108
PY - 1989///
SP - 92
TI - Narrowing and unification in functional programmingan evaluation mechanism for absolute set abstraction
T2 - Rewriting Techniques and Applications
ER -