Unification algorithms.
Contributors: Universitetet i Oslo. Department of Mathematics.
Series: Computational semantics : COSMOS-report -- No.16; Computational semantics -- No.16.
Publisher: University of Oslo, Department of Mathematics
Published: 1990
Place of publication: Oslo
Language: eng