TR-90-28

Lazy Directed Congruence Closure

Sherman, David J.. 10 September, 1990.

Original Document

The original document is available in Postscript (uploaded 8 June, 2001 by Dustin Mitchell).