TR-90-12
An Abstract Machine for Efficient Implementation of Term Rewriting
Sherman, David J.; Strandh, Robert I.. 26 March, 1990.
Original Document
The original document is available in Postscript (uploaded 8 June, 2001 by Dustin Mitchell).
Sherman, David J.; Strandh, Robert I.. 26 March, 1990.
The original document is available in Postscript (uploaded 8 June, 2001 by Dustin Mitchell).