Although disjunction has been used in several unification-based grammar formalisms, existing methods of unification have been unsatisfactory for descriptions containing large quantities of disjunction, because they require exponential time. This paper describes a method of unification by successive approximation, resulting in better average performance.
No takes yet. Share an insight, caveat, or question.
Robert Kasper (1987) studied this question.
Synapse has enriched 4 closely related papers on similar clinical questions. Consider them for comparative context: