Decidability of semi-uni cation in two variables (1989)

by H Leiss