Feature Logic with Disjunctive Unification

Jochen Dorre, Andreas Eisele