Representing Unification in a Logical Framework.

Jason Brown, Lincoln A. Wallen

Browse the full CSL paper archive.