Unification in linear time and space: a structured presentation