Properties of substitutions and unifications (1985)

by Elmar Eder
Venue:J. Symb. Comput