Decidability of semi-unification in two variables (1989)

by H Leiss