Expressing Disjunctive and Negative Feature Constraints with Classical First-Order Logic

@inproceedings{Johnson1990ExpressingDA,
  title={Expressing Disjunctive and Negative Feature Constraints with Classical First-Order Logic},
  author={Mark Johnson},
  booktitle={ACL},
  year={1990}
}
In contrast to the "designer logic" approach, this paper shows how the attribute-value feature s t ruc tures of uni f ica t ion g r a m m a r and constraints on them can be axiomatized in classical first-order logic, which can express disjunctive and negative constraints. Because only quantifier-free formulae are used in the axiomatization, the satisfiability problem is NPcomplete. 
Highly Cited
This paper has 17 citations. REVIEW CITATIONS