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}
}