P91-1042 proceeds roughly like a standard destructive graph unification algorithm that has been adapted
C92-1059 feature-aAdress into a n-class . In a destructive graph unification method , which is very simple
hide detail