Matching —Aspecial case of unification (1989)

by H-J Bürckert
Venue:Journal of Symbolic Computation