Strömbäck, L. (1991). Unifying Disjunctive Feature Structures. Technical Report LiTH-IDA-R-91-35, Department of Computer and Information Science, Linköping University, Sweden. (bibtex),
Abstract: This paper describes an algorithm for unifying disjunctive feature structures. Unlike previous algorithms, except Eisele & Dörre (1990), this algorithm is as fast as an algorithm without disjunction when disjunctions do not participate in the unification, it is also as fast as an algorithm handling only local disjunctions when there are only local disjunctions, and expensive only in the case of unifying full disjunction. The description is given in the framework of graph unification algorithms which makes it easy to implement as an extension of such an algorithm.
CS Dept TR Overview