David J. King, John Launchbury. Functional Graph Algorithms with Depth-First Search (Preliminary Summary). In John T. O'Donnell, Kevin Hammond, editors, Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, July 5-7, 1993. Workshops in Computing, pages 145-155, Springer, 1993. [doi]
Abstract is missing.