Julia L. Lawall, Harry G. Mairson
On Global Dynamics of Optimal Graph Reduction
ICFP, 1997.
@inproceedings{ICFP-1997-LawallM,
author = "Julia L. Lawall and Harry G. Mairson",
booktitle = "{Proceedings of the Second International Conference on Functional Programming}",
doi = "10.1145/258948.258966",
editor = "Simon L. Peyton Jones and Mads Tofte and A. Michael Berman",
isbn = "0-89791-918-1",
pages = "188--195",
publisher = "{ACM}",
title = "{On Global Dynamics of Optimal Graph Reduction}",
year = 1997,
}