TR-98-01

An Explicit Substitution Notation in a lambda Prolog Implementation

Nadathur, G.. 30 January, 1998.
Communicated by Gopalan Nadathur.

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