Properties of substitutions and unifications (0)

by E Eder
Venue:Journal Symbolic Computation