Gregor Erbach,
Mark van der Kraan,
Suresh Manandhar,
Herbert Ruessink,
Craig Thiersch and
Wojciech Skut. Extending Unification Formalisms. Technical report, CLAUS-Report 62, Universität des Saarlandes, Saarbrücken, May 1995. [Abstract] google [Annote]
|