@InProceedings{magri:2018:SIGMORPHON,
  author    = {Magri, Giorgio},
  title     = {Efficient Computation of Implicational Universals in Constraint-Based Phonology Through the Hyperplane Separation Theorem},
  booktitle = {Proceedings of the Fifteenth Workshop on Computational Research in Phonetics, Phonology, and Morphology},
  month     = {October},
  year      = {2018},
  address   = {Brussels, Belgium},
  publisher = {Association for Computational Linguistics},
  pages     = {1--10},
  abstract  = {This paper focuses on the most basic implicational universals in phonological theory, called T-orders after Anttila and Andrus (2006). It develops necessary and sufficient constraint characterizations of T-orders within Harmonic Grammar and Optimality Theory. These conditions rest on the rich convex geometry underlying these frameworks. They are phonologically intuitive and have significant algorithmic implications.},
  url       = {http://www.aclweb.org/anthology/W18-5801}
}