A unification method for disjunctive feature descriptions · Study