Unification /
Kirchner, C.
London : Academic,
1990.
Algebra, Abstract.