J94-1001 This generalizes the standard feature-graph unification algorithm and is closely related
hide detail