Joseph Y. Halpern, John H. Williams, Edward L. Wimmers
Good Rewrite Strategies for FP
LICS, 1986.
@inproceedings{LICS-1986-HalpernWW,
author = "Joseph Y. Halpern and John H. Williams and Edward L. Wimmers",
booktitle = "{Proceedings of the First Symposium on Logic in Computer Science}",
isbn = "0-8186-0720-3",
pages = "149--162",
publisher = "{IEEE Computer Society}",
title = "{Good Rewrite Strategies for FP}",
year = 1986,
}