Combination of unification algorithms (1989)

by M Schmidt-Schau��
Venue:Journal of Symbolic Computation